A node (also known as state) in a GLTS. More...
#include <node.h>
Public Member Functions | |
virtual size_t | hash_code () const =0 |
Returns the hash value of this event. | |
virtual bool | operator!= (const Node &node) const =0 |
Compares two nodes for inequality. | |
virtual bool | operator== (const Node &node) const =0 |
Compares two nodes for equality. |
A node (also known as state) in a GLTS.
This MUST not be subclassed.
virtual bool FDR::LTS::Node::operator!= | ( | const Node & | node | ) | const [pure virtual] |
Compares two nodes for inequality.
Note, the nodes MUST be nodes of the same machine. Comparing two nodes of different machines is NOT supported under any circumstance.
virtual bool FDR::LTS::Node::operator== | ( | const Node & | node | ) | const [pure virtual] |
Compares two nodes for equality.
Note, the nodes MUST be nodes of the same machine. Comparing two nodes of different machines is NOT supported under any circumstance.