spot
1.2.1a
|
Public Types | |
enum | color { Alive, Dead, Unknown } |
Public Member Functions | |
concur_weak_ec (instanciator *i, spot::sharedhashtable *sht, int thread_number, int *stop, int *stop_weak, std::string option="") | |
A constuctor. More... | |
virtual | ~concur_weak_ec () |
A simple destructor. More... | |
void | push_state (const spot::fasttgba_state *state) |
color | get_color (const spot::fasttgba_state *state) |
void | dfs_pop () |
bool | check () |
Launch the emptiness check. More... | |
void | accepting_cycle_check (const fasttgba_state *left, const fasttgba_state *right) |
virtual bool | has_counterexample () |
virtual std::string | csv () |
virtual std::chrono::milliseconds::rep | get_elapsed_time () |
virtual int | nb_inserted () |
spot::concur_weak_ec::concur_weak_ec | ( | instanciator * | i, |
spot::sharedhashtable * | sht, | ||
int | thread_number, | ||
int * | stop, | ||
int * | stop_weak, | ||
std::string | option = "" |
||
) |
A constuctor.
|
virtual |
A simple destructor.
|
virtual |
Launch the emptiness check.
Implements spot::ec.