|
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...
|
|
virtual bool spot::ec::check |
( |
| ) |
|
|
pure virtualinherited |
Launch the emptiness check.
Implemented in spot::dead_share, spot::single_opt_tuc13_ec, spot::single_opt_uc13_ec, spot::single_opt_ndfs_ec, spot::single_opt_dijkstra_ec, spot::single_opt_tarjan_ec, spot::weak_ec, spot::reachability_ec, spot::fake_ec, spot::concur_weak_ec, spot::concur_reachability_ec, spot::tarjanunioncheck, spot::concur_opt_dijkstra_scc, spot::concur_opt_tarjan_scc, spot::opt_ndfs, 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.
The documentation for this class was generated from the following file: