FSM Library - C++ version
|
This is the complete list of members for FsmNode, including all inherited members.
addTransition(const FsmTransition &transition) (defined in FsmNode) | FsmNode | |
after(const InputTrace &itrc) | FsmNode | |
after(const int x) | FsmNode | |
afterAsSet(const int x) (defined in FsmNode) | FsmNode | |
apply(const int e, OutputTrace &o) (defined in FsmNode) | FsmNode | |
apply(const InputTrace &itrc) (defined in FsmNode) | FsmNode | |
black (defined in FsmNode) | FsmNode | static |
calcDistinguishingTrace(const std::shared_ptr< FsmNode > otherNode, const std::vector< std::shared_ptr< PkTable >> &pktblLst, const int maxInput) | FsmNode | |
calcDistinguishingTrace(const std::shared_ptr< FsmNode > otherNode, const std::vector< std::shared_ptr< OFSMTable >> &ofsmTblLst, const int maxInput, const int maxOutput) | FsmNode | |
distinguished(const std::shared_ptr< FsmNode > otherNode, const std::vector< int > &iLst) (defined in FsmNode) | FsmNode | |
distinguished(const std::shared_ptr< FsmNode > otherNode, std::shared_ptr< Tree > w) (defined in FsmNode) | FsmNode | |
FsmNode(const int id, const std::shared_ptr< FsmPresentationLayer > presentationLayer) (defined in FsmNode) | FsmNode | |
FsmNode(const int id, const std::string &name, const std::shared_ptr< FsmPresentationLayer > presentationLayer) (defined in FsmNode) | FsmNode | |
getColor() (defined in FsmNode) | FsmNode | |
getDFSMTableRow(const int maxInput) (defined in FsmNode) | FsmNode | |
getId() const (defined in FsmNode) | FsmNode | |
getName() const (defined in FsmNode) | FsmNode | |
getPair() const (defined in FsmNode) | FsmNode | |
getTransitions() const (defined in FsmNode) | FsmNode | |
grey (defined in FsmNode) | FsmNode | static |
hasBeenVisited() const (defined in FsmNode) | FsmNode | |
isDerivedFrom(const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) const (defined in FsmNode) | FsmNode | |
isDeterministic() const | FsmNode | |
isObservable() const (defined in FsmNode) | FsmNode | |
operator<< (defined in FsmNode) | FsmNode | friend |
operator== (defined in FsmNode) | FsmNode | friend |
setColor(const int color) (defined in FsmNode) | FsmNode | |
setPair(const std::shared_ptr< FsmNode > l, const std::shared_ptr< FsmNode > r) (defined in FsmNode) | FsmNode | |
setPair(const std::shared_ptr< std::pair< std::shared_ptr< FsmNode >, std::shared_ptr< FsmNode >>> p) (defined in FsmNode) | FsmNode | |
setVisited() (defined in FsmNode) | FsmNode | |
white (defined in FsmNode) | FsmNode | static |