FSM Library - C++ version
TestSuite.h
1 /*
2  * Copyright. GaĆ«l Dottel, Christoph Hilken, and Jan Peleska 2016 - 2021
3  *
4  * Licensed under the EUPL V.1.1
5  */
6 #ifndef FSM_TREES_TESTSUITE_H_
7 #define FSM_TREES_TESTSUITE_H_
8 
9 #include <ostream>
10 #include <vector>
11 
12 #include "trees/OutputTree.h"
13 
14 /*This class is really smaller than in Java because it inherit from std::vector*/
15 class TestSuite : public std::vector<OutputTree>
16 {
17 public:
21  TestSuite();
22 
28  bool isEquivalentTo(TestSuite & theOtherTs);
29 
35  bool isReductionOf(TestSuite & theOtherTs);
36 
43  friend std::ostream & operator<<(std::ostream & out, const TestSuite & testSuite);
44 };
45 #endif //FSM_TREES_TESTSUITE_H_
bool isEquivalentTo(TestSuite &theOtherTs)
Definition: TestSuite.cpp:13
bool isReductionOf(TestSuite &theOtherTs)
Definition: TestSuite.cpp:39
Definition: TestSuite.h:15
friend std::ostream & operator<<(std::ostream &out, const TestSuite &testSuite)
Definition: TestSuite.cpp:60
TestSuite()
Definition: TestSuite.cpp:8