FSM Library - C++ version
OutputTree.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_OUTPUTTREE_H_
7 #define FSM_TREES_OUTPUTTREE_H_
8 
9 #include <vector>
10 
11 #include "fsm/InputTrace.h"
12 #include "interface/FsmPresentationLayer.h"
13 #include "trees/Tree.h"
14 
15 class OutputTree : public Tree
16 {
17 private:
21  InputTrace inputTrace;
22 
31  void printChildrenOutput(std::ostream & out, const std::shared_ptr<TreeNode> top, const std::shared_ptr<int> idNode, const int idInput) const;//TODO NOT PRESENT IN JAVA
32 public:
39  OutputTree(const std::shared_ptr<TreeNode> root, const InputTrace & inputTrace, const std::shared_ptr<FsmPresentationLayer> presentationLayer);
40 
50  bool contains(const OutputTree & ot) const;
51 
56  void toDot(std::ostream & out) const;//TODO NOT PRESENT IN JAVA
57 
62  void store(std::ofstream & file);//TODO NOT PRESENT IN JAVA
63 
64 
71  friend std::ostream & operator<<(std::ostream & out, OutputTree & ot);
72 
83  friend bool operator==(OutputTree const & outputTree1, OutputTree const & outputTree2);
84 };
85 #endif //FSM_TREES_OUTPUTTREE_H_
void toDot(std::ostream &out) const
Definition: OutputTree.cpp:36
friend bool operator==(OutputTree const &outputTree1, OutputTree const &outputTree2)
Definition: OutputTree.cpp:88
bool contains(const OutputTree &ot) const
Definition: OutputTree.cpp:24
void store(std::ofstream &file)
Definition: OutputTree.cpp:46
Definition: OutputTree.h:15
OutputTree(const std::shared_ptr< TreeNode > root, const InputTrace &inputTrace, const std::shared_ptr< FsmPresentationLayer > presentationLayer)
Definition: OutputTree.cpp:18
Definition: Tree.h:19
Definition: InputTrace.h:15
const std::shared_ptr< FsmPresentationLayer > presentationLayer
Definition: Tree.h:35
friend std::ostream & operator<<(std::ostream &out, OutputTree &ot)
Definition: OutputTree.cpp:63
std::shared_ptr< TreeNode > root
Definition: Tree.h:25