spot
1.2.1a
|
Public Member Functions | |
virtual bool | has_counterexample ()=0 |
virtual std::string | csv ()=0 |
virtual std::chrono::milliseconds::rep | get_elapsed_time ()=0 |
virtual int | nb_inserted ()=0 |
virtual bool | check ()=0 |
Launch the emptiness check. More... | |
|
pure virtualinherited |
Launch the emptiness check.
Implemented in spot::dead_share, spot::concur_opt_dijkstra_scc, spot::concur_opt_tarjan_scc, spot::opt_tarjan_scc, spot::lazycheck, spot::stats, spot::tarjan_scc, spot::opt_dijkstra_scc, spot::dijkstra_scc, spot::dijkstracheck, spot::union_scc, and spot::unioncheck.