6 #ifndef FSM_TREES_TESTSUITE_H_
7 #define FSM_TREES_TESTSUITE_H_
12 #include "trees/OutputTree.h"
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