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. More...

unsigned	get_threads ()
	The number of thread used by this kripke. More...

Member Function Documentation

◆ ap()

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

List the atomic propositions used by this kripke.

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: