spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Classes | Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
spot::stats Class Reference
Inheritance diagram for spot::stats:
Inheritance graph
Collaboration diagram for spot::stats:
Collaboration graph

Classes

struct  pair_state_iter
 
struct  stack_entry
 
struct  stats_entry
 structure to store stats about the product More...
 

Public Member Functions

 stats (instanciator *i, std::string option="")
 A constructor taking the automaton to check. More...
 
virtual ~stats ()
 A destructor. More...
 
bool check ()
 The implementation of the interface. More...
 
std::string extra_info_csv ()
 

Protected Types

enum  color { Alive, Dead, Unknown }
 The color for a new State. More...
 
typedef std::vector< stack_entrydstack_type
 

Protected Member Functions

void init ()
 Fix set ups for the algo. More...
 
void dfs_push (fasttgba_state *)
 Push a new state to explore. More...
 
void dfs_pop ()
 Pop states already explored. More...
 
void main ()
 the main procedure More...
 
bool dfs_update (fasttgba_state *s)
 the update for backedges More...
 
stats::color get_color (const fasttgba_state *)
 Access the color of a state. More...
 

Protected Attributes

std::vector< pair_state_itertodo
 the todo stack More...
 
dstack_type dstack_
 
bool counterexample_found
 
Sgi::hash_map< int, stats_entryhstats
 

Member Enumeration Documentation

enum spot::stats::color
protected

The color for a new State.

Constructor & Destructor Documentation

spot::stats::stats ( instanciator i,
std::string  option = "" 
)

A constructor taking the automaton to check.

virtual spot::stats::~stats ( )
virtual

A destructor.

Member Function Documentation

bool spot::stats::check ( )
virtual

The implementation of the interface.

Implements spot::ec.

void spot::stats::dfs_pop ( )
protected

Pop states already explored.

void spot::stats::dfs_push ( fasttgba_state )
protected

Push a new state to explore.

bool spot::stats::dfs_update ( fasttgba_state s)
protected

the update for backedges

std::string spot::stats::extra_info_csv ( )

Supply more information in a CSV way Informations are : Number of merge, number of states mark as dead.

stats::color spot::stats::get_color ( const fasttgba_state )
protected

Access the color of a state.

Storage for counterexample found or not

void spot::stats::init ( )
protected

Fix set ups for the algo.

void spot::stats::main ( )
protected

the main procedure

Member Data Documentation

std::vector<pair_state_iter> spot::stats::todo
protected

the todo stack


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 Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5