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

Public Types

enum  color { Alive, Dead, Unknown }
 

Public Member Functions

 weak_ec (instanciator *i, int thread_number, int *stop)
 A constuctor. More...
 
virtual ~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::weak_ec::weak_ec ( instanciator i,
int  thread_number,
int *  stop 
)

A constuctor.

virtual spot::weak_ec::~weak_ec ( )
virtual

A simple destructor.

Member Function Documentation

bool spot::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:20 for spot by doxygen 1.8.9.1