|
| 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...
|
|
◆ ap()
List the atomic propositions used by this kripke.
◆ get_threads()
The number of thread used by this kripke.
The documentation for this class was generated from the following file: