spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Public Attributes | Protected Attributes | List of all members
spot::fast_explicit_state Class Reference

#include <fasttgba/fasttgba_explicit.hh>

Inheritance diagram for spot::fast_explicit_state:
Inheritance graph
Collaboration diagram for spot::fast_explicit_state:
Collaboration graph

Public Member Functions

 fast_explicit_state (int label)
 
virtual int compare (const fasttgba_state *other) const
 Compares two states (that come from the same automaton). More...
 
virtual size_t hash () const
 Hash a state. More...
 
virtual fasttgba_stateclone () const
 Duplicate a state. More...
 
virtual void * external_information () const
 
virtual int label () const
 
virtual void destroy () const
 Release a state. More...
 
void add_successor (const struct transition *t)
 
void set_strength (enum scc_strength str)
 the strength of the SCC More...
 
enum scc_strength get_strength () const
 

Public Attributes

std::vector< const struct
transition * > 
successors
 list of successors More...
 
int count_
 

Protected Attributes

int label_
 
enum scc_strength strength_
 

Detailed Description

This class represent an explicit numbered state which is usefull to represent formulae

Member Function Documentation

virtual fasttgba_state* spot::fast_explicit_state::clone ( ) const
virtual

Duplicate a state.

Implements spot::fasttgba_state.

virtual int spot::fast_explicit_state::compare ( const fasttgba_state other) const
virtual

Compares two states (that come from the same automaton).

This method returns an integer less than, equal to, or greater than zero if this is found, respectively, to be less than, equal to, or greater than other according to some implicit total order.

This method should not be called to compare states from different automata.

Implements spot::fasttgba_state.

virtual void spot::fast_explicit_state::destroy ( ) const
virtual

Release a state.

Sub class can refined this method to be memory efficient

Reimplemented from spot::fasttgba_state.

virtual void* spot::fast_explicit_state::external_information ( ) const
virtual

Allow to add more information inside of a state. It can be used to store the strength of the current SCC or the strength of the strength of the subautomaton

Implements spot::fasttgba_state.

virtual size_t spot::fast_explicit_state::hash ( ) const
virtual

Hash a state.

This method returns an integer that can be used as a hash value for this state.

Implements spot::fasttgba_state.

void spot::fast_explicit_state::set_strength ( enum scc_strength  str)

the strength of the SCC

Member Data Documentation

std::vector<const struct transition*> spot::fast_explicit_state::successors

list of successors


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