Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > Member List

This is the complete list of members for Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >, including all inherited members.

_faults	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	private
_state	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	private
faults() const	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
Faults typedef	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >
LocalCandidate()	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
LocalCandidate(const LocalCandidate &candidate)	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
LocalCandidate(LocalCandidate &&candidate)	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
LocalCandidate(const State &state, const Faults &faults)	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
operator!=(const LocalCandidate &candidate) const	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
operator=(const LocalCandidate &candidate)	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
operator==(const LocalCandidate &candidate) const	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
State typedef	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >
state() const	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline
~LocalCandidate()	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >	inline