|
| FsmNode (const int id, const std::shared_ptr< FsmPresentationLayer > presentationLayer) |
|
| FsmNode (const int id, const std::string &name, const std::shared_ptr< FsmPresentationLayer > presentationLayer) |
|
void | addTransition (const FsmTransition &transition) |
|
std::vector< FsmTransition > | getTransitions () const |
|
int | getId () const |
|
std::string | getName () const |
|
bool | hasBeenVisited () const |
|
void | setVisited () |
|
void | setPair (const std::shared_ptr< FsmNode > l, const std::shared_ptr< FsmNode > r) |
|
void | setPair (const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) |
|
bool | isDerivedFrom (const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) const |
|
std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode > > > | getPair () const |
|
std::shared_ptr< FsmNode > | apply (const int e, OutputTrace &o) |
|
OutputTree | apply (const InputTrace &itrc) |
|
std::unordered_set< std::shared_ptr< FsmNode > > | after (const InputTrace &itrc) |
|
std::vector< std::shared_ptr< FsmNode > > | after (const int x) |
|
std::unordered_set< std::shared_ptr< FsmNode > > | afterAsSet (const int x) |
|
void | setColor (const int color) |
|
int | getColor () |
|
std::shared_ptr< DFSMTableRow > | getDFSMTableRow (const int maxInput) |
|
bool | distinguished (const std::shared_ptr< FsmNode > otherNode, const std::vector< int > &iLst) |
|
std::shared_ptr< InputTrace > | distinguished (const std::shared_ptr< FsmNode > otherNode, std::shared_ptr< Tree > w) |
|
InputTrace | calcDistinguishingTrace (const std::shared_ptr< FsmNode > otherNode, const std::vector< std::shared_ptr< PkTable >> &pktblLst, const int maxInput) |
|
InputTrace | calcDistinguishingTrace (const std::shared_ptr< FsmNode > otherNode, const std::vector< std::shared_ptr< OFSMTable >> &ofsmTblLst, const int maxInput, const int maxOutput) |
|
bool | isObservable () const |
|
bool | isDeterministic () const |
|