|
| single_opt_ndfs_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 () |
|
std::string | extra_info_csv () |
|
The map of visited states.
The color for a new State.
virtual bool spot::single_opt_ndfs_ec::check |
( |
| ) |
|
|
virtual |
Launch the emptiness check.
Implements spot::ec.
virtual void spot::opt_ndfs::dfs_pop |
( |
| ) |
|
|
protectedvirtualinherited |
Pop states already explored.
|
protectedvirtualinherited |
Push a new state to explore.
|
protectedvirtualinherited |
std::string spot::opt_ndfs::extra_info_csv |
( |
| ) |
|
|
inherited |
Supply more information in a CSV way Informations are : Number of merge, number of states mark as dead.
|
protectedvirtualinherited |
Use a "generic" lowlink stack.
Access the color of a state Storage for counterexample found or not
void spot::opt_ndfs::init |
( |
| ) |
|
|
protectedinherited |
Fix set ups for the algo.
virtual void spot::single_opt_ndfs_ec::main |
( |
| ) |
|
|
virtual |
the automaton that will be used for the Emptiness check
The store for Deads states.
unsigned int spot::opt_ndfs::dfs_size_ |
|
protectedinherited |
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_ndfs_ec::end |
|
protected |
int spot::single_opt_ndfs_ec::make_cpt_ |
|
protected |
unsigned int spot::opt_ndfs::max_dfs_size_ |
|
protectedinherited |
unsigned int spot::opt_ndfs::max_live_size_ |
|
protectedinherited |
int spot::opt_ndfs::memory_cost_ |
|
protectedinherited |
int spot::opt_ndfs::roots_poped_cpt_ |
|
protectedinherited |
count UPDATE loop iterations
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_ndfs_ec::start |
|
protected |
int spot::opt_ndfs::states_cpt_ |
|
protectedinherited |
int* spot::single_opt_ndfs_ec::stop_ |
|
protected |
bool spot::opt_ndfs::swarm_ |
|
protectedinherited |
int spot::opt_ndfs::transitions_cpt_ |
|
protectedinherited |
int spot::opt_ndfs::trivial_scc_ |
|
protectedinherited |
int spot::opt_ndfs::update_cpt_ |
|
protectedinherited |
The documentation for this class was generated from the following file: