|
| single_opt_tarjan_ec (instanciator *i, int thread_number, int *stop, std::string option="") |
|
virtual void | main () |
| the main procedure More...
|
|
virtual bool | check () |
| Launch the emptiness check. More...
|
|
virtual bool | has_counterexample () |
|
virtual std::string | csv () |
|
virtual std::chrono::milliseconds::rep | get_elapsed_time () |
|
virtual int | nb_inserted () |
|
virtual void | dfs_pop () |
| Pop states already explored. More...
|
|
virtual bool | dfs_update (fasttgba_state *s) |
| the update for backedges More...
|
|
std::string | extra_info_csv () |
|
The map of visited states.
The color for a new State.
virtual bool spot::single_opt_tarjan_ec::check |
( |
| ) |
|
|
virtual |
Launch the emptiness check.
Implements spot::ec.
virtual void spot::opt_tarjan_ec::dfs_pop |
( |
| ) |
|
|
virtualinherited |
|
protectedvirtualinherited |
std::string spot::opt_tarjan_scc::extra_info_csv |
( |
| ) |
|
|
inherited |
Supply more information in a CSV way Informations are : Number of merge, number of states mark as dead.
|
protectedvirtualinherited |
void spot::opt_tarjan_scc::init |
( |
| ) |
|
|
protectedinherited |
Fix set ups for the algo.
virtual void spot::single_opt_tarjan_ec::main |
( |
| ) |
|
|
virtual |
const fasttgba* spot::opt_tarjan_scc::a_ |
|
protectedinherited |
the automaton that will be used for the Emptiness check
The store for Deads states.
unsigned int spot::opt_tarjan_scc::dfs_size_ |
|
protectedinherited |
Use a "generic" lowlink stack.
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_tarjan_ec::end |
|
protected |
int spot::single_opt_tarjan_ec::make_cpt_ |
|
protected |
unsigned int spot::opt_tarjan_scc::max_dfs_size_ |
|
protectedinherited |
unsigned int spot::opt_tarjan_scc::max_live_size_ |
|
protectedinherited |
int spot::opt_tarjan_scc::memory_cost_ |
|
protectedinherited |
int spot::opt_tarjan_scc::roots_poped_cpt_ |
|
protectedinherited |
count UPDATE loop iterations
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_tarjan_ec::start |
|
protected |
int spot::opt_tarjan_scc::states_cpt_ |
|
protectedinherited |
int* spot::single_opt_tarjan_ec::stop_ |
|
protected |
bool spot::opt_tarjan_scc::swarm_ |
|
protectedinherited |
int spot::opt_tarjan_scc::tid_ |
|
protectedinherited |
int spot::opt_tarjan_scc::transitions_cpt_ |
|
protectedinherited |
int spot::opt_tarjan_scc::trivial_scc_ |
|
protectedinherited |
int spot::opt_tarjan_scc::update_cpt_ |
|
protectedinherited |
The documentation for this class was generated from the following file: