spot::kripkecube< State, SuccIterator > Class Template Reference

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

#include <spot/kripke/kripke.hh>

Inheritance diagram for spot::kripkecube< State, SuccIterator >:

Collaboration diagram for spot::kripkecube< State, SuccIterator >:

Public Member Functions
State	initial (unsigned tid)
	Returns the initial State of the System. The tid parameter is used internally for sharing this structure among threads. More...
unsigned	get_threads ()
	Returns the number of threads that are handled by the kripkecube. More...
std::string	to_string (const State, unsigned tid) const
	Provides a string representation of the parameter state. More...
SuccIterator *	succ (const State, unsigned tid)
	Returns an iterator over the successors of the parameter state. More...
void	recycle (SuccIterator *, unsigned tid)
	Allocation and deallocation of iterator is costly. This method allows to reuse old iterators. More...
const std::vector< std::string >	ap ()
	This method allow to deallocate a given state. More...

Detailed Description

template<typename State, typename SuccIterator>
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.

Do not delete by hand any states and/or iterator that are provided by this template class. Specialisations will handle it.

Member Function Documentation

ap()

template<typename State , typename SuccIterator >

const std::vector<std::string> spot::kripkecube< State, SuccIterator >::ap

(

)

This method allow to deallocate a given state.

get_threads()

template<typename State , typename SuccIterator >

unsigned spot::kripkecube< State, SuccIterator >::get_threads

(

)

Returns the number of threads that are handled by the kripkecube.

initial()

template<typename State , typename SuccIterator >

State spot::kripkecube< State, SuccIterator >::initial

(

unsigned

tid

)

Returns the initial State of the System. The tid parameter is used internally for sharing this structure among threads.

recycle()

template<typename State , typename SuccIterator >

void spot::kripkecube< State, SuccIterator >::recycle	(	SuccIterator *	,
		unsigned	tid
	)

Allocation and deallocation of iterator is costly. This method allows to reuse old iterators.

succ()

template<typename State , typename SuccIterator >

SuccIterator* spot::kripkecube< State, SuccIterator >::succ	(	const	State,
		unsigned	tid
	)

Returns an iterator over the successors of the parameter state.

to_string()

template<typename State , typename SuccIterator >

std::string spot::kripkecube< State, SuccIterator >::to_string	(	const	State,
		unsigned	tid
	)		const

Provides a string representation of the parameter state.

---

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

• spot/kripke/kripke.hh