FSM Library - C++ version
DFSMTable.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_DFSMTABLE_H_
7 #define FSM_FSM_DFSMTABLE_H_
8 
9 #include <memory>
10 #include <vector>
11 
12 #include "fsm/typedef.inc"
13 
14 class DFSMTableRow;
15 class PkTable;
20 class DFSMTable
21 {
22 private:
26  std::vector<std::shared_ptr<DFSMTableRow>> rows;
27 
31  int maxInput;
32 
36  std::shared_ptr<FsmPresentationLayer> presentationLayer;
37 public:
44  DFSMTable(const int numStates, const int maxInput, std::shared_ptr<FsmPresentationLayer> presentationLayer);
45 
51  void setRow(const int n, const std::shared_ptr<DFSMTableRow> r);
52 
57  std::shared_ptr<PkTable> getP1Table() const;
58 
65  friend std::ostream & operator<<(std::ostream & out, const DFSMTable & dfsmTable);
66 };
67 #endif //FSM_FSM_DFSMTABLE_H_
DFSMTable(const int numStates, const int maxInput, std::shared_ptr< FsmPresentationLayer > presentationLayer)
Definition: DFSMTable.cpp:11
friend std::ostream & operator<<(std::ostream &out, const DFSMTable &dfsmTable)
Definition: DFSMTable.cpp:57
Definition: DFSMTableRow.h:17
std::shared_ptr< PkTable > getP1Table() const
Definition: DFSMTable.cpp:22
void setRow(const int n, const std::shared_ptr< DFSMTableRow > r)
Definition: DFSMTable.cpp:17
Definition: PkTable.h:24
Definition: DFSMTable.h:20
Definition: FsmPresentationLayer.h:16