6 #ifndef FSM_TREES_OUTPUTTREE_H_
7 #define FSM_TREES_OUTPUTTREE_H_
11 #include "fsm/InputTrace.h"
12 #include "interface/FsmPresentationLayer.h"
13 #include "trees/Tree.h"
31 void printChildrenOutput(std::ostream & out,
const std::shared_ptr<TreeNode> top,
const std::shared_ptr<int> idNode,
const int idInput)
const;
56 void toDot(std::ostream & out)
const;
62 void store(std::ofstream & file);
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
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