6 #ifndef FSM_FSM_DFSMTABLE_H_
7 #define FSM_FSM_DFSMTABLE_H_
12 #include "fsm/typedef.inc"
26 std::vector<std::shared_ptr<DFSMTableRow>> rows;
36 std::shared_ptr<FsmPresentationLayer> presentationLayer;
44 DFSMTable(
const int numStates,
const int maxInput, std::shared_ptr<FsmPresentationLayer> presentationLayer);
51 void setRow(
const int n,
const std::shared_ptr<DFSMTableRow> r);
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: DFSMTable.h:20
Definition: FsmPresentationLayer.h:16