FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
Public Member Functions | List of all members
FDR::LTS::Node Class Referenceabstract

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...
 

Detailed Description

A node (also known as state) in a GLTS.

This MUST not be subclassed.

Member Function Documentation

◆ operator!=()

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.

◆ operator==()

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.


The documentation for this class was generated from the following file: