FSM Library - C++ version
Fsm Member List

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

appendStateIdentificationSets(const std::shared_ptr< Tree > Wp2) const (defined in Fsm)Fsm
apply(const InputTrace &itrc) (defined in Fsm)Fsm
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
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
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()Fsm
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
operator<< (defined in Fsm)Fsmfriend
parseLine(const std::string &line) (defined in Fsm)Fsmprotected
parseLineInitial(const std::string &line) (defined in Fsm)Fsmprotected
presentationLayer (defined in Fsm)Fsmprotected
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
wpMethod(const int m)Fsm