|
| single_opt_dijkstra_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 bool | merge (fasttgba_state *) |
| Add acceptance set deal. More...
|
|
std::string | extra_info_csv () |
| Get extra informations. More...
|
|
The color for a new State.
virtual bool spot::single_opt_dijkstra_ec::check |
( |
| ) |
|
|
virtual |
Launch the emptiness check.
Implements spot::ec.
virtual void spot::opt_dijkstra_scc::dfs_pop |
( |
| ) |
|
|
protectedvirtualinherited |
|
protectedvirtualinherited |
std::string spot::opt_dijkstra_scc::extra_info_csv |
( |
| ) |
|
|
inherited |
|
protectedvirtualinherited |
virtual void spot::opt_dijkstra_scc::init |
( |
| ) |
|
|
protectedvirtualinherited |
Fix set ups for the algo.
virtual void spot::single_opt_dijkstra_ec::main |
( |
| ) |
|
|
virtual |
bool spot::opt_dijkstra_scc::counterexample_found |
|
protectedinherited |
the automaton that will be used for the Emptiness check
deadstore* spot::opt_dijkstra_scc::deadstore_ |
|
protectedinherited |
The store of dead states.
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_dijkstra_ec::end |
|
protected |
int spot::single_opt_dijkstra_ec::make_cpt_ |
|
protected |
unsigned int spot::opt_dijkstra_scc::max_dfs_size_ |
|
protectedinherited |
unsigned int spot::opt_dijkstra_scc::max_live_size_ |
|
protectedinherited |
int spot::opt_dijkstra_scc::memory_cost_ |
|
protectedinherited |
int spot::opt_dijkstra_scc::roots_poped_cpt_ |
|
protectedinherited |
count UPDATE loop iterations
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_dijkstra_ec::start |
|
protected |
int spot::opt_dijkstra_scc::states_cpt_ |
|
protectedinherited |
int* spot::single_opt_dijkstra_ec::stop_ |
|
protected |
bool spot::opt_dijkstra_scc::swarm_ |
|
protectedinherited |
int spot::opt_dijkstra_scc::tid_ |
|
protectedinherited |
int spot::opt_dijkstra_scc::transitions_cpt_ |
|
protectedinherited |
int spot::opt_dijkstra_scc::trivial_scc_ |
|
protectedinherited |
int spot::opt_dijkstra_scc::update_cpt_ |
|
protectedinherited |
int spot::opt_dijkstra_scc::update_loop_cpt_ |
|
protectedinherited |
count UPDATE loop iterations
The documentation for this class was generated from the following file: