This is interface for work with automata, define states of automaton. More...
#include <istate.h>
Public Types | |
typedef QList< QSharedPointer < IState > > | TIStateList |
typedef QList< QString > | TIStateNameList |
typedef QSet< QString > | TIStateNameSet |
Public Member Functions | |
virtual | ~IState () |
virtual TIStateNameList | getAdjacentStates () const =0 |
Useful for graph algorithms. | |
virtual QString | getLabel () const =0 |
virtual QString | getName () const =0 |
virtual TIStateNameSet | getStatesOn (const QString &character) const =0 |
virtual ITransition::TITransitionList | getTransitions () const =0 |
Returns transitions leading from state. | |
virtual ITransition::TITransitionList | getTransitionsTo () const =0 |
Returns transitions leading to state. | |
virtual bool | isFinal () const =0 |
virtual bool | isInitial () const =0 |
virtual void | setFinal (bool is=true)=0 |
virtual void | setInitial (bool is=true)=0 |
virtual void | setLabel (const QString &label)=0 |
Labels can be used multiple times for multiple states. | |
virtual void | setName (const QString &name)=0 |
Name has to be unique and VauCanSon-G compatible!! |
This is interface for work with automata, define states of automaton.
Note that transitions are added through IAutomaton only.
Definition at line 12 of file istate.h.
typedef QList<QSharedPointer<IState> > IState::TIStateList |
typedef QList<QString> IState::TIStateNameList |
typedef QSet<QString> IState::TIStateNameSet |
virtual TIStateNameList IState::getAdjacentStates | ( | ) | const [pure virtual] |
Useful for graph algorithms.
Implemented in StateImpl.
virtual QString IState::getLabel | ( | ) | const [pure virtual] |
Implemented in StateImpl.
virtual QString IState::getName | ( | ) | const [pure virtual] |
Implemented in StateImpl.
virtual TIStateNameSet IState::getStatesOn | ( | const QString & | character | ) | const [pure virtual] |
Implemented in StateImpl.
virtual ITransition::TITransitionList IState::getTransitions | ( | ) | const [pure virtual] |
Returns transitions leading from state.
Implemented in StateImpl.
virtual ITransition::TITransitionList IState::getTransitionsTo | ( | ) | const [pure virtual] |
Returns transitions leading to state.
Implemented in StateImpl.
virtual bool IState::isFinal | ( | ) | const [pure virtual] |
Implemented in StateImpl.
virtual bool IState::isInitial | ( | ) | const [pure virtual] |
Implemented in StateImpl.
virtual void IState::setFinal | ( | bool | is = true |
) | [pure virtual] |
Implemented in StateImpl.
virtual void IState::setInitial | ( | bool | is = true |
) | [pure virtual] |
Implemented in StateImpl.
virtual void IState::setLabel | ( | const QString & | label | ) | [pure virtual] |
Labels can be used multiple times for multiple states.
Implemented in StateImpl.
virtual void IState::setName | ( | const QString & | name | ) | [pure virtual] |
Name has to be unique and VauCanSon-G compatible!!
Implemented in StateImpl.