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
void pause()
do one step of simulation
QTreeWidgetItem * createItem(StoppingCriterion *sc, QTreeWidgetItem *parent)
QColor bgColor
the initial bg color
Definition: MonitoringDialog.h:119
MonitoringDialog(MonitoringGuiManager *guiManager, QWidget *parent=0)
Default Constructor.
void browsePml()
Slot called when Browse Pml file is clicked.
void dtModified()
Slot called after dt editing.
void updateAll()
update all tabs
void refreshModified()
Slot called after refresh editing.
void saveMmlIn()
Slot called when save MmlIn file is clicked.
Ui::MonitoringDialog ui
the ui dialog designed in qtdesigner
Definition: MonitoringDialog.h:113
A GUI to manipulate mml documents.
Definition: MonitoringGuiManager.h:43
QString getMmlInFileName()
get MmlIn file name
void updateMonitors()
update monitors tab
virtual ~MonitoringDialog()
Destructor.
void saveMmlOut()
Slot called when save MmlOut file is clicked.
void monitorsChanged()
emitted
void simulateOneStep()
Slot called when the next step is clicked.
void rewind()
Slot called when the button Rewind is clicked.
void browseMmlIn()
Slot called when Browse MmlIn file is clicked.
void browseLml()
Slot called when Browse Lml file is clicked.
void init()
initialize dialog
TODO Comment class here.
Definition: MonitoringDialog.h:46
void saveCsv()
Slot called when save as csv file is clicked.
QTableWidget * getMonitorsTableWidget()
get the monitors table
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
void simulate()
Slot called when the button Play is clicked.
void updateStoppingCriteria()
update stopping criteria tab
void enableButtons(bool enable)
set the rew,play,pause,step buttons enable or not