spot
1.2.1a
|
#include <fasttgbaalgos/ec/ec.hh>
Public Member Functions | |
virtual bool | check ()=0 |
Launch the emptiness check. More... | |
This interface must be implemented by all emptiness check algorithm
|
pure virtual |
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.