|
spot
2.3.3.dev
|
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>


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... | |
| 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 > | get_ap () |
| This method allow to deallocate a given state. More... | |
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.
| const std::vector<std::string> spot::kripkecube< State, SuccIterator >::get_ap | ( | ) |
This method allow to deallocate a given state.
| 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.
| void spot::kripkecube< State, SuccIterator >::recycle | ( | SuccIterator * | , |
| unsigned | tid | ||
| ) |
Allocation and deallocation of iterator is costly. This method allows to reuse old iterators.
| SuccIterator* spot::kripkecube< State, SuccIterator >::succ | ( | const State | , |
| unsigned | tid | ||
| ) |
Returns an iterator over the successors of the parameter state.
| std::string spot::kripkecube< State, SuccIterator >::to_string | ( | const State | , |
| unsigned | tid | ||
| ) | const |
Provides a string representation of the parameter state.
1.8.13