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

This class act as an interface for all classes. More...

#include <fasttgba/fasttgba_state.hh>

Inheritance diagram for spot::fasttgba_state:
Inheritance graph
Collaboration diagram for spot::fasttgba_state:
Collaboration graph

Public Member Functions

virtual int compare (const fasttgba_state *other) const =0
 Compares two states (that come from the same automaton). More...
 
virtual size_t hash () const =0
 Hash a state. More...
 
virtual fasttgba_stateclone () const =0
 Duplicate a state. More...
 
virtual void * external_information () const =0
 
virtual void destroy () const
 Release a state. More...
 

Protected Member Functions

virtual ~fasttgba_state ()
 Destructor. More...
 

Detailed Description

This class act as an interface for all classes.

Constructor & Destructor Documentation

virtual spot::fasttgba_state::~fasttgba_state ( )
inlineprotectedvirtual

Destructor.

Deprecated:
Client code should now call s->destroy(); instead of delete s;.

Member Function Documentation

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

Duplicate a state.

Implemented in spot::fast_explicit_state, and spot::fast_product_state.

virtual int spot::fasttgba_state::compare ( const fasttgba_state other) const
pure 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.

Implemented in spot::fast_explicit_state, and spot::fast_product_state.

virtual void spot::fasttgba_state::destroy ( ) const
inlinevirtual

Release a state.

Sub class can refined this method to be memory efficient

Reimplemented in spot::fast_explicit_state, and spot::fast_product_state.

virtual void* spot::fasttgba_state::external_information ( ) const
pure 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

Implemented in spot::fast_explicit_state, and spot::fast_product_state.

virtual size_t spot::fasttgba_state::hash ( ) const
pure virtual

Hash a state.

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

Implemented in spot::fast_explicit_state, and spot::fast_product_state.


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