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

ICheck.h

00001 /*
00002 Copyright (C) 2000,2001 Stefan Duffner 
00003 
00004 This program is free software; you can redistribute it and/or
00005 modify it under the terms of the GNU General Public License
00006 as published by the Free Software Foundation; either version 2
00007 of the License, or any later version.
00008 
00009 This program is distributed in the hope that it will be useful,
00010 but WITHOUT ANY WARRANTY; without even the implied warranty of
00011 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00012 GNU General Public License for more details.
00013 
00014 You should have received a copy of the GNU General Public License
00015 along with this program; if not, write to the Free Software
00016 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
00017 */
00018 
00019 #ifndef ICHECK_H
00020 #define ICHECK_H
00021 
00022 #include <qwidget.h>
00023 #include <qlist.h>
00024 #include "ICheckDlgImpl.h"
00025 
00026 class Machine;
00027 class GState;
00028 class MainWindow;
00029 
00034 class ICheck
00035 {
00036   public:
00037     ICheck(QWidget* parent);
00038     virtual ~ICheck();
00039 
00040     virtual int checkMachine(Machine* m);
00042     void showDlg() { icheckdlg->show(); };
00044     void hideDlg() { icheckdlg->hide(); };
00045 
00046   private:
00047     virtual bool checkUnambigousCond(Machine* m);
00048     virtual bool checkStartState(Machine* m);
00049     virtual bool checkEndState(Machine* m);
00050     virtual bool checkDeadLocks(Machine* m);
00051 
00052     virtual double checkCompleteness(Machine* m);
00053     virtual double checkStatesReachable(Machine* m);
00054     virtual double checkEndStatesReachable(Machine* m);
00055     virtual double checkConnections(Machine* m);
00056 
00057     bool isStateReachable(Machine* , GState* from, GState* state, QList<GState>* visited);
00058 
00060     ICheckDlgImpl* icheckdlg;
00062     MainWindow* main;
00063 };
00064 
00065 #endif
00066 

Generated at Fri Apr 11 22:37:13 2003 for Qfsm by doxygen1.2.9.1 written by Dimitri van Heesch, © 1997-2001