spot
1.2.1a
|
Public Types | |
enum | color { Alive, Dead, Unknown } |
Public Member Functions | |
reachability_ec (instanciator *i, int thread_number, int *stop) | |
A constuctor. More... | |
virtual | ~reachability_ec () |
A simple destructor. More... | |
bool | check () |
Launch the emptiness check. More... | |
void | push_state (const spot::fasttgba_state *state) |
color | get_color (const spot::fasttgba_state *state) |
bool | is_terminal (const fasttgba_state *s) |
check wether a state is synchronised with a terminal state of the property automaton More... | |
virtual bool | has_counterexample () |
virtual std::string | csv () |
virtual std::chrono::milliseconds::rep | get_elapsed_time () |
virtual int | nb_inserted () |
spot::reachability_ec::reachability_ec | ( | instanciator * | i, |
int | thread_number, | ||
int * | stop | ||
) |
A constuctor.
|
virtual |
A simple destructor.
|
virtual |
Launch the emptiness check.
Implements spot::ec.
bool spot::reachability_ec::is_terminal | ( | const fasttgba_state * | s | ) |
check wether a state is synchronised with a terminal state of the property automaton