#include <StateManager.h>
Inheritance diagram for StateManager::

Public Methods | |
| StateManager (MainWindow *) | |
| Constructor. | |
| bool | addState (double, double) |
| Adds a state at position x, y. | |
| void | setInitialState (Machine *, GState *) |
| Sets the state s in machine m as initial state. | |
| void | setEndStates (Machine *, const QList< GState > &sl) |
| Sets the state s in machine m as end state. | |
| void | editState (GState *) |
| Edit the properties of state s. | |
| QString | getNewName () |
| Generates a name for a new state. | |
| QString | getNewBinCode () |
| Generates a binary code for a new state. | |
| int | getNewCode () |
| Generates a decimal code for a new state. | |
Private Attributes | |
| MainWindow * | main |
| Pointer to the main window. | |
| StatePropertiesDlgImpl * | state_props |
| State properties dialog. | |
1.2.9.1 written by Dimitri van Heesch,
© 1997-2001