spot::concur_reachability_ec::concur_reachability_ec |
( |
instanciator * |
i, |
|
|
spot::openset * |
os, |
|
|
int |
thread_number, |
|
|
int |
total_threads, |
|
|
int * |
stop, |
|
|
int * |
stop_terminal, |
|
|
std::atomic< int > & |
giddle, |
|
|
std::string |
option = "" |
|
) |
| |
virtual spot::concur_reachability_ec::~concur_reachability_ec |
( |
| ) |
|
|
virtual |
bool spot::concur_reachability_ec::check |
( |
| ) |
|
|
virtual |
Launch the emptiness check.
Implements spot::ec.
bool spot::concur_reachability_ec::is_terminal |
( |
const fasttgba_state * |
| ) |
|
check wether a state is synchronised with a terminal state of the property automaton
The documentation for this class was generated from the following file: