spot::kripkecube< cspins_state, cspins_iterator > Class Reference

Thread-safe specialization of kripkecube for SpinS states and iterators. More...

#include <spot/ltsmin/spins_kripke.hh>

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)
	Build a kripkecube from a Spins interface.
	~kripkecube ()
	Destroy the kripkecube.
cspins_state	initial (unsigned tid)
	Return the initial state for thread tid.
std::string	to_string (const cspins_state s, unsigned tid=0) const
	Convert a state to a string.
cspins_iterator *	succ (const cspins_state s, unsigned tid)
	Return the iterator for a state.
void	recycle (cspins_iterator *it, unsigned tid)
	Recycle an iterator.
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.

Detailed Description

Thread-safe specialization of kripkecube for SpinS states and iterators.

Constructor & Destructor Documentation

kripkecube()

spot::kripkecube< cspins_state, cspins_iterator >::kripkecube	(	spins_interface_ptr	sip,
		bool	compress,
		std::vector< std::string >	visible_aps,
		bool	selfloopize,
		std::string	dead_prop,
		unsigned int	nb_threads
	)

Build a kripkecube from a Spins interface.

~kripkecube()

spot::kripkecube< cspins_state, cspins_iterator >::~kripkecube

(

)

Destroy the kripkecube.

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.

initial()

cspins_state spot::kripkecube< cspins_state, cspins_iterator >::initial

(

unsigned

tid

)

Return the initial state for thread tid.

recycle()

void spot::kripkecube< cspins_state, cspins_iterator >::recycle	(	cspins_iterator *	it,
		unsigned	tid
	)

Recycle an iterator.

succ()

cspins_iterator * spot::kripkecube< cspins_state, cspins_iterator >::succ	(	const cspins_state	s,
		unsigned	tid
	)

Return the iterator for a state.

to_string()

std::string spot::kripkecube< cspins_state, cspins_iterator >::to_string	(	const cspins_state	s,
		unsigned	tid = 0
	)		const

Convert a state to a string.

---

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

• spot/ltsmin/spins_kripke.hh