#include <ICheck.h>
Public Methods | |
ICheck (QWidget *parent) | |
Constructor. | |
virtual | ~ICheck () |
Destructor. | |
virtual int | checkMachine (Machine *m) |
Performs the whole set of checks and updates the dialog. | |
void | showDlg () |
Shows the integrity check dialog. | |
void | hideDlg () |
Hides the integrity check dialog. | |
Private Methods | |
virtual bool | checkUnambigousCond (Machine *m) |
Checks if there are ambigous conditions. | |
virtual bool | checkStartState (Machine *m) |
Checks if the machine m has a start state. | |
virtual bool | checkEndState (Machine *m) |
Checks if the machine m has at least one end state. | |
virtual bool | checkDeadLocks (Machine *m) |
Checks if there are dead locks in the machine m. | |
virtual double | checkCompleteness (Machine *m) |
Checks if the machine m is complete (i.e. all possible input values are covered). | |
virtual double | checkStatesReachable (Machine *m) |
Checks if all states of the machine m are reachable. | |
virtual double | checkEndStatesReachable (Machine *m) |
Checks if all end states of the machine m are reachable. | |
virtual double | checkConnections (Machine *m) |
Checks if all all transitions starting from a state have an end state. | |
bool | isStateReachable (Machine *, GState *from, GState *state, QList< GState > *visited) |
Checks recursively if a state is reachable from another state. More... | |
Private Attributes | |
ICheckDlgImpl * | icheckdlg |
Integrity check dialog. | |
MainWindow * | main |
Pointer to the main window. |
|
Checks recursively if a state is reachable from another state.
|