00001
00002
00003
00004
00005
00006
00007
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