spot
1.2.1a
|
This class act as an interface for all classes. More...
#include <fasttgba/fasttgba_state.hh>
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_state * | clone () 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... | |
This class act as an interface for all classes.
|
inlineprotectedvirtual |
Destructor.
s->destroy();
instead of delete s;
.
|
pure virtual |
Duplicate a state.
Implemented in spot::fast_explicit_state, and spot::fast_product_state.
|
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.
|
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.
|
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.
|
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.