#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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|