spot
1.2.1a
|
Public Types | |
enum | color { Alive, Dead, Unknown } |
Public Member Functions | |
weak_ec (instanciator *i, int thread_number, int *stop) | |
A constuctor. More... | |
virtual | ~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::weak_ec::weak_ec | ( | instanciator * | i, |
int | thread_number, | ||
int * | stop | ||
) |
A constuctor.
|
virtual |
A simple destructor.
|
virtual |
Launch the emptiness check.
Implements spot::ec.