26 #ifndef MONITORINGDIALOG_H
27 #define MONITORINGDIALOG_H
33 #include "ui_MonitoringDialog.h"
113 Ui::MonitoringDialog
ui;
128 #endif // MONITORINGDIALOG_H
void updateSimulation()
update simulation tab
Definition: MonitoringDialog.cpp:271
void pause()
do one step of simulation
Definition: MonitoringDialog.cpp:189
QColor bgColor
the initial bg color
Definition: MonitoringDialog.h:119
MonitoringDialog(MonitoringGuiManager *guiManager, QWidget *parent=0)
Default Constructor.
Definition: MonitoringDialog.cpp:39
void browsePml()
Slot called when Browse Pml file is clicked.
Definition: MonitoringDialog.cpp:171
void dtModified()
Slot called after dt editing.
Definition: MonitoringDialog.cpp:338
void updateAll()
update all tabs
Definition: MonitoringDialog.cpp:209
void refreshModified()
Slot called after refresh editing.
Definition: MonitoringDialog.cpp:343
void saveMmlIn()
Slot called when save MmlIn file is clicked.
Definition: MonitoringDialog.cpp:149
Ui::MonitoringDialog ui
the ui dialog designed in qtdesigner
Definition: MonitoringDialog.h:113
A GUI to manipulate mml documents.
Definition: MonitoringGuiManager.h:45
QString getMmlInFileName()
get MmlIn file name
Definition: MonitoringDialog.cpp:333
void updateMonitors()
update monitors tab
Definition: MonitoringDialog.cpp:240
QTreeWidgetItem * createItem(StoppingCriterion *sc, QTreeWidgetItem *parent)
Definition: MonitoringDialog.cpp:316
void saveMmlOut()
Slot called when save MmlOut file is clicked.
Definition: MonitoringDialog.cpp:133
virtual ~MonitoringDialog()
Destructor.
Definition: MonitoringDialog.cpp:78
void monitorsChanged()
emitted
void simulateOneStep()
Slot called when the next step is clicked.
Definition: MonitoringDialog.cpp:184
void rewind()
Slot called when the button Rewind is clicked.
Definition: MonitoringDialog.cpp:194
void browseMmlIn()
Slot called when Browse MmlIn file is clicked.
Definition: MonitoringDialog.cpp:124
void browseLml()
Slot called when Browse Lml file is clicked.
Definition: MonitoringDialog.cpp:158
void init()
initialize dialog
Definition: MonitoringDialog.cpp:86
TODO Comment class here.
Definition: MonitoringDialog.h:46
void saveCsv()
Slot called when save as csv file is clicked.
Definition: MonitoringDialog.cpp:141
MonitoringGuiManager * guiManager
the monitoring manager
Definition: MonitoringDialog.h:116
class which represent the stopping criterion to check to stop simulation a StoppingCriterion is eithe...
Definition: StoppingCriterion.h:48
void updateSimulatorWidget()
update simulator specific widget
Definition: MonitoringDialog.cpp:297
void simulate()
Slot called when the button Play is clicked.
Definition: MonitoringDialog.cpp:202
void updateStoppingCriteria()
update stopping criteria tab
Definition: MonitoringDialog.cpp:284
QTableWidget * getMonitorsTableWidget()
get the monitors table
Definition: MonitoringDialog.cpp:347
void enableButtons(bool enable)
set the rew,play,pause,step buttons enable or not
Definition: MonitoringDialog.cpp:91