FDR::LTS::Node Class Reference

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

#include <node.h>

List of all members.

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.

Detailed Description

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

This MUST not be subclassed.


Member Function Documentation

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.


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

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1