FSM Library - C++ version
Dfsm Member List

This is the complete list of members for Dfsm, including all inherited members.

appendStateIdentificationSets(const std::shared_ptr< Tree > Wp2) const (defined in Fsm)Fsm
apply(const InputTrace &itrc) (defined in Fsm)Fsm
applyDet(const InputTrace &i)Dfsm
calcStateIdentificationSets()Fsm
characterisationSet (defined in Fsm)Fsmprotected
contains(const std::vector< std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>>> &lst, const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) (defined in Fsm)Fsmprotected
contains(const std::vector< std::shared_ptr< FsmNode >> &lst, const std::shared_ptr< FsmNode > n) (defined in Fsm)Fsmprotected
createTestSuite(const IOListContainer &testCases) (defined in Fsm)Fsm
currentParsedNode (defined in Fsm)Fsmprotected
Dfsm(const std::string &fname, const std::string &fsmName, const int maxNodes, const int maxInput, const int maxOutput, const std::shared_ptr< FsmPresentationLayer > presentationLayer)Dfsm
Dfsm(const std::string &fsmName, const int maxNodes, const int maxInput, const int maxOutput, const std::shared_ptr< FsmPresentationLayer > presentationLayer)Dfsm
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)Dfsm
Dfsm(const Fsm &fsm)Dfsm
dumpFsm(std::ofstream &outputFile) const Fsm
findp(const std::vector< std::shared_ptr< FsmNode >> &lst, const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) (defined in Fsm)Fsmprotected
Fsm(const std::shared_ptr< FsmPresentationLayer > presentationLayer)Fsmprotected
Fsm(const std::string &fname, const std::string &fsmName, const int maxNodes, const int maxInput, const int maxOutput, const std::shared_ptr< FsmPresentationLayer > presentationLayer)Fsm
Fsm(const std::string &fname, const std::shared_ptr< FsmPresentationLayer > presentationLayer, const std::string &fsmName)Fsm
Fsm(const std::string &fsmName, const int maxInput, const int maxOutput, const std::vector< std::shared_ptr< FsmNode >> lst, const std::shared_ptr< FsmPresentationLayer > presentationLayer)Fsm
getCaracterisationSet()Fsm
getCharacterisationSet()Dfsm
getInitialState() const (defined in Fsm)Fsm
getInitStateIdx() const (defined in Fsm)Fsm
getMaxInput() const (defined in Fsm)Fsm
getMaxNodes() const (defined in Fsm)Fsmvirtual
getMaxOutput() const (defined in Fsm)Fsm
getName() const Fsm
getNodes() const (defined in Fsm)Fsm
getPresentationLayer() const (defined in Fsm)Fsm
getStateCover() (defined in Fsm)Fsm
getTransitionCover() (defined in Fsm)Fsm
initStateIdx (defined in Fsm)Fsmprotected
intersect(const Fsm &f)Fsm
isCharSet(const std::shared_ptr< Tree > w) const (defined in Fsm)Fsm
isCompletelyDefined() const (defined in Fsm)Fsm
isDeterministic() const Fsm
isMinimal() const (defined in Fsm)Fsm
isObservable() const Fsm
labelString(std::unordered_set< std::shared_ptr< FsmNode >> &lbl) const (defined in Fsm)Fsmprotected
maxInput (defined in Fsm)Fsmprotected
maxOutput (defined in Fsm)Fsmprotected
maxState (defined in Fsm)Fsmprotected
minimal (defined in Fsm)Fsmprotected
minimise()Dfsm
minimiseCharSet(const std::shared_ptr< Tree > w) (defined in Fsm)Fsm
minimiseObservableFSM()Fsm
name (defined in Fsm)Fsmprotected
newNode(const int id, const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) (defined in Fsm)Fsmprotected
nodes (defined in Fsm)Fsmprotected
ofsmTableLst (defined in Fsm)Fsmprotected
parseLine(const std::string &line) (defined in Fsm)Fsmprotected
parseLineInitial(const std::string &line) (defined in Fsm)Fsmprotected
pass(const IOTrace &io)Dfsm
presentationLayer (defined in Fsm)Fsmprotected
printTables() const Dfsm
readFsm(const std::string &fname) (defined in Fsm)Fsmprotected
readFsmInitial(const std::string &fname) (defined in Fsm)Fsmprotected
resetColor() (defined in Fsm)Fsm
setPresentationLayer(const std::shared_ptr< FsmPresentationLayer > ppresentationLayer) (defined in Fsm)Fsm
stateIdentificationSets (defined in Fsm)Fsmprotected
toDot(const std::string &fname) (defined in Fsm)Fsm
transformToObservableFSM() const (defined in Fsm)Fsm
wMethod(const unsigned int m)Dfsm
wpMethod(const int m)Dfsm