FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
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. More... | |
virtual bool | operator== (const Node &node) const =0 |
Compares two nodes for equality. More... | |
A node (also known as state) in a GLTS.
This MUST not be subclassed.
|
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.
|
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.