#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. |