FSM Library - C++ version
IOTrace.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_FSM_IOTRACE_H_
7 #define FSM_FSM_IOTRACE_H_
8 
9 #include <iostream>
10 #include <vector>
11 
12 #include "fsm/InputTrace.h"
13 #include "fsm/OutputTrace.h"
14 
15 class IOTrace
16 {
17 private:
21  InputTrace inputTrace;
22 
26  OutputTrace outputTrace;
27 public:
33  IOTrace(const InputTrace & i, const OutputTrace & o);
34 
39  InputTrace getInputTrace() const;
40 
46 
53  friend std::ostream & operator<<(std::ostream & out, const IOTrace & trace);
54 };
55 #endif //FSM_FSM_IOTRACE_H_
OutputTrace getOutputTrace() const
Definition: IOTrace.cpp:19
Definition: IOTrace.h:15
friend std::ostream & operator<<(std::ostream &out, const IOTrace &trace)
Definition: IOTrace.cpp:24
InputTrace getInputTrace() const
Definition: IOTrace.cpp:14
Definition: InputTrace.h:15
Definition: OutputTrace.h:15
IOTrace(const InputTrace &i, const OutputTrace &o)
Definition: IOTrace.cpp:8