FSM Library - C++ version
InputTrace.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_INPUTTRACE_H_
7 #define FSM_FSM_INPUTTRACE_H_
8 
9 #include <iostream>
10 #include <vector>
11 
12 #include "fsm/Trace.h"
13 #include "interface/FsmPresentationLayer.h"
14 
15 class InputTrace : public Trace
16 {
17 public:
22  InputTrace(const std::shared_ptr<FsmPresentationLayer> presentationLayer);
23 
29  InputTrace(const std::vector<int>& trace, const std::shared_ptr<FsmPresentationLayer> presentationLayer);
30 
37  friend std::ostream & operator<<(std::ostream & out, const InputTrace & trace);
38 };
39 #endif //FSM_FSM_INPUTTRACE_H_
Definition: Trace.h:14
friend std::ostream & operator<<(std::ostream &out, const InputTrace &trace)
Definition: InputTrace.cpp:20
std::vector< int > trace
Definition: Trace.h:20
Definition: InputTrace.h:15
const std::shared_ptr< FsmPresentationLayer > presentationLayer
Definition: Trace.h:25
InputTrace(const std::shared_ptr< FsmPresentationLayer > presentationLayer)
Definition: InputTrace.cpp:8