spot::kripkecube< cspins_state, cspins_iterator > Class Reference

Inheritance diagram for spot::kripkecube< cspins_state, cspins_iterator >:

Collaboration diagram for spot::kripkecube< cspins_state, cspins_iterator >:

Public Member Functions
	kripkecube (spins_interface_ptr sip, bool compress, std::vector< std::string > visible_aps, bool selfloopize, std::string dead_prop, unsigned int nb_threads)
cspins_state	initial (unsigned tid)
std::string	to_string (const cspins_state s, unsigned tid=0) const
cspins_iterator *	succ (const cspins_state s, unsigned tid)
void	recycle (cspins_iterator *it, unsigned tid)
const std::vector< std::string >	ap ()
	List the atomic propositions used by this kripke.
unsigned	get_threads ()
	The number of thread used by this kripke.

Member Function Documentation

ap()

const std::vector< std::string > spot::kripkecube< cspins_state, cspins_iterator >::ap

(

)

List the atomic propositions used by this kripke.

get_threads()

unsigned spot::kripkecube< cspins_state, cspins_iterator >::get_threads

(

)

The number of thread used by this kripke.

---

The documentation for this class was generated from the following file:

• spot/ltsmin/spins_kripke.hh