Classes
class	spot::fair_kripke_succ_iterator
	Iterator code for a Fair Kripke structure. More...

class	spot::fair_kripke
	Interface for a Fair Kripke structure. More...

class	spot::kripkecube< State, SuccIterator >
	This class is a template representation of a Kripke structure. It is composed of two template parameters: State represents a state of the Kripke structure, SuccIterator is an iterator over the (possible) successors of a state. More...

class	spot::is_a_kripkecube_ptr< T, State, SuccIter >
	This class allows to ensure (at compile time) if a given parameter is of type kripkecube. It also checks if the iterator has the right interface. More...

class	spot::kripke_succ_iterator
	Iterator code for Kripke structure. More...

class	spot::kripke
	Interface for a Kripke structure. More...

struct	spot::kripke_graph_state
	Concrete class for kripke_graph states. More...

class	spot::kripke_graph_succ_iterator< Graph >
	Successor iterator for a graph-based Kripke structure state. More...

class	spot::kripke_graph
	Kripke Structure. More...

Typedefs
typedef std::shared_ptr< fair_kripke >	spot::fair_kripke_ptr

typedef std::shared_ptr< const fair_kripke >	spot::const_fair_kripke_ptr

typedef std::shared_ptr< kripke >	spot::kripke_ptr

typedef std::shared_ptr< const kripke >	spot::const_kripke_ptr

typedef std::shared_ptr< const kripke_explicit >	spot::const_kripke_explicit_ptr

typedef std::shared_ptr< kripke_explicit >	spot::kripke_explicit_ptr