spot  1.2.1a
Classes | Public Types | Public Member Functions | List of all members
spot::concur_weak_ec Class Reference
Inheritance diagram for spot::concur_weak_ec:
Inheritance graph
Collaboration diagram for spot::concur_weak_ec:
Collaboration graph

Public Types

enum  color { Alive, Dead, Unknown }
 

Public Member Functions

 concur_weak_ec (instanciator *i, spot::sharedhashtable *sht, int thread_number, int *stop, int *stop_weak, std::string option="")
 A constuctor. More...
 
virtual ~concur_weak_ec ()
 A simple destructor. More...
 
void push_state (const spot::fasttgba_state *state)
 
color get_color (const spot::fasttgba_state *state)
 
void dfs_pop ()
 
bool check ()
 Launch the emptiness check. More...
 
void accepting_cycle_check (const fasttgba_state *left, const fasttgba_state *right)
 
virtual bool has_counterexample ()
 
virtual std::string csv ()
 
virtual std::chrono::milliseconds::rep get_elapsed_time ()
 
virtual int nb_inserted ()
 

Constructor & Destructor Documentation

spot::concur_weak_ec::concur_weak_ec ( instanciator i,
spot::sharedhashtable sht,
int  thread_number,
int *  stop,
int *  stop_weak,
std::string  option = "" 
)

A constuctor.

virtual spot::concur_weak_ec::~concur_weak_ec ( )
virtual

A simple destructor.

Member Function Documentation

bool spot::concur_weak_ec::check ( )
virtual

Launch the emptiness check.

Implements spot::ec.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Jun 5 2015 11:31:19 for spot by doxygen 1.8.9.1