6 #ifndef FSM_WINDOW_MAINWINDOW_H_
7 #define FSM_WINDOW_MAINWINDOW_H_
12 #include <qapplication.h>
13 #include <qerrormessage.h>
14 #include <qfiledialog.h>
15 #include <qinputdialog.h>
16 #include <qmainwindow.h>
18 #include <qmessagebox.h>
21 #include "window/ui_MainWindow.h"
24 #include "fsm/InputTrace.h"
25 #include "interface/FsmPresentationLayer.h"
26 #include "trees/OutputTree.h"
27 #include "trees/TestSuite.h"
28 #include "trees/Tree.h"
29 #include "window/OpenFileWindow.h"
57 double scaleFactorFsm;
62 double scaleFactorStateCover;
67 double scaleFactorTransitionCover;
77 std::unique_ptr<OpenFileWindow> openFileWindow;
82 std::shared_ptr<Fsm> currentFsm;
92 std::vector<std::shared_ptr<Fsm>> fsms;
97 std::map<std::string, std::shared_ptr<TestSuite>> testSuites;
103 void addFsm(std::shared_ptr<Fsm> newFsm);
110 void scaleImage(
const double & factor);
125 void dotCall(
const std::string & name);
138 void storeTestCases(
const std::string & fileName,
const IOListContainer & testCases);
145 void storeTestCase(
const std::string & fileName,
const std::vector<int> & testCase);
157 std::vector<int> readTestCase(
const std::string & line);
164 void storeTestSuite(
const std::string & fileName,
const TestSuite & testSuite);
171 void storeOutputTree(
const std::string & fileName,
OutputTree & outputTree);
177 void changeFsm(
const QModelIndex & currentSelection);
202 void transformToObservable();
212 void calcCaracterisationSet();
234 void createTestSuite();
239 void createOutputTree();
244 void runTestSuiteEquivalence();
249 void runTestSuiteReduction();
266 #endif //FSM_WINDOW_MAINWINDOW_H_
Definition: MainWindow.h:33
~MainWindow()
Definition: MainWindow.cpp:48
Definition: OutputTree.h:15
Definition: IOListContainer.h:15
MainWindow(QWidget *parent=0)
Definition: MainWindow.cpp:8
Definition: MainWindow.h:38
Definition: TestSuite.h:15