FSM Library - C++ version
DFSMTableRow.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_DFSMTABLEROW_H_
7 #define FSM_FSM_DFSMTABLEROW_H_
8 
9 #include <iostream>
10 
11 #include "fsm/Int2IntMap.h"
12 #include "fsm/typedef.inc"
13 
18 {
19 private:
23  int state;
24 
28  IOMap ioSection;
29 
33  I2PMap i2postSection;
34 public:
40  DFSMTableRow(const int q, const int maxInput);
41 
46  IOMap getioSection() const;
47 
52  I2PMap geti2postSection() const;
53 
60  friend std::ostream & operator<<(std::ostream & out, const DFSMTableRow & dfsmTableRow);
61 };
62 #endif //FSM_FSM_DFSMTABLEROW_H_
DFSMTableRow(const int q, const int maxInput)
Definition: DFSMTableRow.cpp:8
Definition: DFSMTableRow.h:17
friend std::ostream & operator<<(std::ostream &out, const DFSMTableRow &dfsmTableRow)
Definition: DFSMTableRow.cpp:24
IOMap getioSection() const
Definition: DFSMTableRow.cpp:14
I2PMap geti2postSection() const
Definition: DFSMTableRow.cpp:19