This is interface for work with automata, define states of automaton. More...
#include <istate.h>
Inheritance diagram for IState: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.
1.7.0