6 #ifndef FSM_FSM_PKTABLE_H_
7 #define FSM_FSM_PKTABLE_H_
15 #include "fsm/typedef.inc"
17 #include "fsm/PkTableRow.h"
18 #include "interface/FsmPresentationLayer.h"
30 std::vector<std::shared_ptr<PkTableRow>> rows;
45 std::shared_ptr<FsmPresentationLayer> presentationLayer;
53 PkTable(
const int numStates,
const int maxInput,
const std::shared_ptr<FsmPresentationLayer> presentationLayer);
62 PkTable(
const int numStates,
const int maxInput,
const std::vector<std::shared_ptr<PkTableRow>> rows,
const std::shared_ptr<FsmPresentationLayer> presentationLayer);
69 void setRow(
const int s,
const std::shared_ptr<PkTableRow> row);
76 void setClass(
const int n,
const int c);
109 #endif //FSM_FSM_PKTABLE_H_
PkTable(const int numStates, const int maxInput, const std::shared_ptr< FsmPresentationLayer > presentationLayer)
Definition: PkTable.cpp:12
void setRow(const int s, const std::shared_ptr< PkTableRow > row)
Definition: PkTable.cpp:24
int maxClassId() const
Definition: PkTable.cpp:39
int getClass(const int n) const
Definition: PkTable.cpp:34
void setClass(const int n, const int c)
Definition: PkTable.cpp:29
std::shared_ptr< PkTable > getPkPlusOneTable() const
Definition: PkTable.cpp:52
std::string getMembers(const int c) const
Definition: PkTable.cpp:161
Dfsm toFsm(std::string name)
Definition: PkTable.cpp:112