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

Public Types

enum  color { Alive, Dead, Unknown }
 

Public Member Functions

 reachability_ec (instanciator *i, int thread_number, int *stop)
 A constuctor. More...
 
virtual ~reachability_ec ()
 A simple destructor. More...
 
bool check ()
 Launch the emptiness check. More...
 
void push_state (const spot::fasttgba_state *state)
 
color get_color (const spot::fasttgba_state *state)
 
bool is_terminal (const fasttgba_state *s)
 check wether a state is synchronised with a terminal state of the property automaton More...
 
virtual bool has_counterexample ()
 
virtual std::string csv ()
 
virtual std::chrono::milliseconds::rep get_elapsed_time ()
 
virtual int nb_inserted ()
 

Constructor & Destructor Documentation

spot::reachability_ec::reachability_ec ( instanciator i,
int  thread_number,
int *  stop 
)

A constuctor.

virtual spot::reachability_ec::~reachability_ec ( )
virtual

A simple destructor.

Member Function Documentation

bool spot::reachability_ec::check ( )
virtual

Launch the emptiness check.

Implements spot::ec.

bool spot::reachability_ec::is_terminal ( const fasttgba_state s)

check wether a state is synchronised with a terminal state of the property automaton


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