#include <ICheckDlg.h>
Inheritance diagram for ICheckDlg::

Public Methods | |
| ICheckDlg (QWidget *parent=0, const char *name=0, bool modal=FALSE, WFlags fl=0) | |
| ~ICheckDlg () | |
Public Attributes | |
| QButtonGroup * | ButtonGroup11 |
| QLabel * | lb_transconnected_val |
| QLabel * | lb_completeness_val |
| QLabel * | lb_transconnected |
| QLabel * | lb_statesreachable_val |
| QLabel * | lb_deadlocks |
| QLabel * | lb_statesreachable |
| QLabel * | lb_completeness |
| QLabel * | lb_unambcond |
| QLabel * | pm_unambcond |
| QLabel * | lb_startstate |
| QLabel * | lb_endstatesreachable |
| QLabel * | pm_endstate |
| QLabel * | lb_endstatesreachable_val |
| QLabel * | pm_startstate |
| QLabel * | lb_endstate |
| QLabel * | pm_deadlocks |
| QPushButton * | pb_ok |
Protected Slots | |
| virtual void | languageChange () |
Protected Attributes | |
| QVBoxLayout * | ICheckDlgLayout |
| QVBoxLayout * | ButtonGroup11Layout |
| QGridLayout * | Layout4 |
| QHBoxLayout * | Layout9 |
Private Attributes | |
| QPixmap | image0 |
| QPixmap | image1 |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.2.9.1 written by Dimitri van Heesch,
© 1997-2001