6 #ifndef FSM_FSM_DFSM_H_
7 #define FSM_FSM_DFSM_H_
18 #include "fsm/DFSMTable.h"
28 std::shared_ptr<DFSMTable> dfsmTable;
31 std::vector<std::shared_ptr<PkTable>> pktblLst;
36 void createAtRandom();
42 std::shared_ptr<DFSMTable> toDFSMTable()
const;
55 Dfsm(
const std::string & fname,
const std::string & fsmName,
const int maxNodes,
const int maxInput,
const int maxOutput,
const std::shared_ptr<FsmPresentationLayer> presentationLayer);
67 Dfsm(
const std::string & fsmName,
const int maxNodes,
const int maxInput,
const int maxOutput,
const std::shared_ptr<FsmPresentationLayer> presentationLayer);
79 Dfsm(
const std::string & fsmName,
const int maxInput,
const int maxOutput,
const std::vector<std::shared_ptr<FsmNode>> lst,
const std::shared_ptr<FsmPresentationLayer> presentationLayer);
149 #endif //FSM_FSM_DFSM_H_
Dfsm(const std::string &fname, const std::string &fsmName, const int maxNodes, const int maxInput, const int maxOutput, const std::shared_ptr< FsmPresentationLayer > presentationLayer)
Definition: Dfsm.cpp:64
IOTrace applyDet(const InputTrace &i)
Definition: Dfsm.cpp:183
bool pass(const IOTrace &io)
Definition: Dfsm.cpp:212
void printTables() const
Definition: Dfsm.cpp:120
IOListContainer wpMethod(const int m)
Definition: Dfsm.cpp:243
Definition: IOListContainer.h:15
IOListContainer getCharacterisationSet()
Definition: Dfsm.cpp:135
IOListContainer wMethod(const unsigned int m)
Definition: Dfsm.cpp:218
Dfsm minimise()
Definition: Dfsm.cpp:103