|
| single_opt_uc13_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 () |
| Get extra informations. More...
|
|
virtual bool spot::single_opt_uc13_ec::check |
( |
| ) |
|
|
virtual |
Launch the emptiness check.
Implements spot::ec.
virtual void spot::unioncheck::dfs_pop |
( |
| ) |
|
|
protectedvirtualinherited |
Pop states already explored.
|
protectedvirtualinherited |
Push a new state to explore.
std::string spot::unioncheck::extra_info_csv |
( |
| ) |
|
|
inherited |
virtual void spot::unioncheck::init |
( |
| ) |
|
|
protectedvirtualinherited |
Fix set ups for the algo.
virtual void spot::single_opt_uc13_ec::main |
( |
| ) |
|
|
virtual |
the main procedure
Storage for counterexample found or not
Reimplemented from spot::unioncheck.
|
protectedvirtualinherited |
bool spot::unioncheck::counterexample_found |
|
protectedinherited |
the automaton that will be used for the Emptiness check
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_uc13_ec::end |
|
protected |
int spot::single_opt_uc13_ec::make_cpt_ |
|
protected |
unsigned int spot::unioncheck::max_dfs_size_ |
|
protectedinherited |
int spot::unioncheck::memory_cost_ |
|
protectedinherited |
int spot::unioncheck::memory_usage_ |
|
protectedinherited |
int spot::unioncheck::roots_poped_cpt_ |
|
protectedinherited |
count UPDATE loop iterations
std::chrono::time_point<std::chrono::system_clock> spot::single_opt_uc13_ec::start |
|
protected |
int spot::unioncheck::states_cpt_ |
|
protectedinherited |
int* spot::single_opt_uc13_ec::stop_ |
|
protected |
int spot::unioncheck::transitions_cpt_ |
|
protectedinherited |
int spot::unioncheck::trivial_scc_ |
|
protectedinherited |
int spot::unioncheck::update_cpt_ |
|
protectedinherited |
int spot::unioncheck::update_loop_cpt_ |
|
protectedinherited |
count UPDATE loop iterations
The documentation for this class was generated from the following file: