LocalCandidate.hh File Reference

Go to the source code of this file.

Classes
class	Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >
struct	std::hash< Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > >

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Automata
	Diades::Automata::Experimental

Functions
template<typename StateProperty , typename FaultProperty >
ostream &	Diades::Automata::Experimental::operator<< (ostream &os, const LocalCandidate< StateProperty, FaultProperty > &candidate)