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

ICheckDlg.h

00001 /****************************************************************************
00002 ** Form interface generated from reading ui file './ICheckDlg.ui'
00003 **
00004 ** Created: Don Apr 10 18:58:49 2003
00005 **      by: The User Interface Compiler ($Id: qt/main.cpp   3.1.1   edited Nov 21 17:40 $)
00006 **
00007 ** WARNING! All changes made in this file will be lost!
00008 ****************************************************************************/
00009 
00010 #ifndef ICHECKDLG_H
00011 #define ICHECKDLG_H
00012 
00013 #include <qvariant.h>
00014 #include <qpixmap.h>
00015 #include <qdialog.h>
00016 
00017 class QVBoxLayout;
00018 class QHBoxLayout;
00019 class QGridLayout;
00020 class QButtonGroup;
00021 class QLabel;
00022 class QPushButton;
00023 
00024 class ICheckDlg : public QDialog
00025 {
00026     Q_OBJECT
00027 
00028 public:
00029     ICheckDlg( QWidget* parent = 0, const char* name = 0, bool modal = FALSE, WFlags fl = 0 );
00030     ~ICheckDlg();
00031 
00032     QButtonGroup* ButtonGroup11;
00033     QLabel* lb_transconnected_val;
00034     QLabel* lb_completeness_val;
00035     QLabel* lb_transconnected;
00036     QLabel* lb_statesreachable_val;
00037     QLabel* lb_deadlocks;
00038     QLabel* lb_statesreachable;
00039     QLabel* lb_completeness;
00040     QLabel* lb_unambcond;
00041     QLabel* pm_unambcond;
00042     QLabel* lb_startstate;
00043     QLabel* lb_endstatesreachable;
00044     QLabel* pm_endstate;
00045     QLabel* lb_endstatesreachable_val;
00046     QLabel* pm_startstate;
00047     QLabel* lb_endstate;
00048     QLabel* pm_deadlocks;
00049     QPushButton* pb_ok;
00050 
00051 protected:
00052     QVBoxLayout* ICheckDlgLayout;
00053     QVBoxLayout* ButtonGroup11Layout;
00054     QGridLayout* Layout4;
00055     QHBoxLayout* Layout9;
00056 
00057 protected slots:
00058     virtual void languageChange();
00059 private:
00060     QPixmap image0;
00061     QPixmap image1;
00062 
00063 };
00064 
00065 #endif // ICHECKDLG_H

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