DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <StateNode.hh>
Public Member Functions | |
StateNode () | |
Public Attributes | |
StateNode * | next |
StateNode * | down |
State | state |
Definition at line 4 of file StateNode.hh.
|
inline |
Definition at line 10 of file StateNode.hh.
Referenced by StateTable::insert().
StateNode* StateNode::down |
Definition at line 8 of file StateNode.hh.
Referenced by StateTable::insert().
StateNode* StateNode::next |
Definition at line 7 of file StateNode.hh.
Referenced by StateTable::insert().
State StateNode::state |
Definition at line 9 of file StateNode.hh.
Referenced by StateTable::insert().