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