FSM Library - C++ version
|
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) | Fsm | protected |
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) | Fsm | protected |
contains(const std::vector< std::shared_ptr< FsmNode >> &lst, const std::shared_ptr< FsmNode > n) (defined in Fsm) | Fsm | protected |
createTestSuite(const IOListContainer &testCases) (defined in Fsm) | Fsm | |
currentParsedNode (defined in Fsm) | Fsm | protected |
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) | Fsm | protected |
Fsm(const std::shared_ptr< FsmPresentationLayer > presentationLayer) | Fsm | protected |
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) | Fsm | virtual |
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) | Fsm | protected |
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) | Fsm | protected |
maxInput (defined in Fsm) | Fsm | protected |
maxOutput (defined in Fsm) | Fsm | protected |
maxState (defined in Fsm) | Fsm | protected |
minimal (defined in Fsm) | Fsm | protected |
minimise() | Dfsm | |
minimiseCharSet(const std::shared_ptr< Tree > w) (defined in Fsm) | Fsm | |
minimiseObservableFSM() | Fsm | |
name (defined in Fsm) | Fsm | protected |
newNode(const int id, const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) (defined in Fsm) | Fsm | protected |
nodes (defined in Fsm) | Fsm | protected |
ofsmTableLst (defined in Fsm) | Fsm | protected |
parseLine(const std::string &line) (defined in Fsm) | Fsm | protected |
parseLineInitial(const std::string &line) (defined in Fsm) | Fsm | protected |
pass(const IOTrace &io) | Dfsm | |
presentationLayer (defined in Fsm) | Fsm | protected |
printTables() const | Dfsm | |
readFsm(const std::string &fname) (defined in Fsm) | Fsm | protected |
readFsmInitial(const std::string &fname) (defined in Fsm) | Fsm | protected |
resetColor() (defined in Fsm) | Fsm | |
setPresentationLayer(const std::shared_ptr< FsmPresentationLayer > ppresentationLayer) (defined in Fsm) | Fsm | |
stateIdentificationSets (defined in Fsm) | Fsm | protected |
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 |