spot
1.2.1a
|
This class represents a product state. More...
#include <fasttgba/fasttgba_product.hh>
Public Member Functions | |
fast_product_state (const fasttgba_state *left, const fasttgba_state *right, fixed_size_pool *p) | |
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_state * | clone () const |
Duplicate a state. More... | |
virtual void * | external_information () const |
virtual void | destroy () const |
Release a state. More... | |
virtual const fasttgba_state * | left () const |
An accessor to the left part of a state. More... | |
virtual const fasttgba_state * | right () const |
An accessor to the right part of a state. More... | |
This class represents a product state.
This state is composed of a left and a right part that also are fast states
|
virtual |
Duplicate a state.
Implements spot::fasttgba_state.
|
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 |
Release a state.
Sub class can refined this method to be memory efficient
Reimplemented from spot::fasttgba_state.
|
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 |
Hash a state.
This method returns an integer that can be used as a hash value for this state.
Implements spot::fasttgba_state.
|
virtual |
An accessor to the left part of a state.
|
virtual |
An accessor to the right part of a state.