|
| 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 > | get_ap () |
|
unsigned | get_threads () |
|
bool | compress () |
|
const spot::spins_interface * | spins_interface () |
|
cspins_state_manager & | manager (unsigned i=0) |
|
The documentation for this class was generated from the following file: