DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | Public Attributes | List of all members
StateNode Class Reference

#include <StateNode.hh>

Public Member Functions

 StateNode ()
 

Public Attributes

StateNodenext
 
StateNodedown
 
State state
 

Detailed Description

Definition at line 4 of file StateNode.hh.

Constructor & Destructor Documentation

◆ StateNode()

StateNode::StateNode ( )
inline

Definition at line 10 of file StateNode.hh.

Referenced by StateTable::insert().

Member Data Documentation

◆ down

StateNode* StateNode::down

Definition at line 8 of file StateNode.hh.

Referenced by StateTable::insert().

◆ next

StateNode* StateNode::next

Definition at line 7 of file StateNode.hh.

Referenced by StateTable::insert().

◆ state

State StateNode::state

Definition at line 9 of file StateNode.hh.

Referenced by StateTable::insert().


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