spot
1.2.1a
|
#include <fasttgba/fasttgba_explicit.hh>
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_state * | clone () 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_ |
This class represent an explicit numbered state which is usefull to represent formulae
|
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.
void spot::fast_explicit_state::set_strength | ( | enum scc_strength | str | ) |
the strength of the SCC
std::vector<const struct transition*> spot::fast_explicit_state::successors |
list of successors