Main Page   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

ICheck Class Reference

Integrity check routines. More...

#include <ICheck.h>

List of all members.

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

ICheckDlgImplicheckdlg
 Integrity check dialog.

MainWindowmain
 Pointer to the main window.


Detailed Description

Integrity check routines.


Member Function Documentation

bool ICheck::isStateReachable Machine * m,
GState * from,
GState * state,
QList< GState > * visited
[private]
 

Checks recursively if a state is reachable from another state.

Parameters:
m   Machine that contains the states
from   Starting state
state   State that is to be checked for reachability
visited   List of visited states.
Returns:
TRUE if state state is reachable from state from.


The documentation for this class was generated from the following files:
Generated at Fri Apr 11 22:37:16 2003 for Qfsm by doxygen1.2.9.1 written by Dimitri van Heesch, © 1997-2001