DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <UnfoldingStateTable.hh>
Public Member Functions | |
StateNode () | |
list of node children More... | |
StateNode (int i) | |
StateNode (int i, const T &inf) | |
bool | isTagged () const |
int | state () const |
void | setInfo (const T &inf) |
T | getInfo () const |
list< StateNode * > * | children () |
const list< StateNode * > * | children () const |
Private Attributes | |
int | _state |
T | _inf |
state of the StateNode More... | |
bool | _tag |
informtaion of the StateNode More... | |
list< StateNode * > | _children |
is the information there or not ? More... | |
Internal class used in a UnfoldingStateTable object (which is basically a tree of StateNode objects) A StateNode gathers a State, an information associated to the State (or nothing) and a list of children (other StateNode objects)
Definition at line 21 of file UnfoldingStateTable.hh.
|
inline |
list of node children
Default constructor Used to implement the empty beleif state only in a BeliefStateTable
Definition at line 34 of file UnfoldingStateTable.hh.
|
inline |
Paramtrized constructor
i | an element of a cube |
Definition at line 43 of file UnfoldingStateTable.hh.
|
inline |
Paramtrized constructor
i | an element of a cube |
inf | an infomation of type T |
Definition at line 53 of file UnfoldingStateTable.hh.
|
inline |
Definition at line 85 of file UnfoldingStateTable.hh.
Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::getInfo(), Diades::Sdmdl::UnfoldingStateTable< T >::insertCube(), Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound(), Diades::Sdmdl::operator<<(), and Diades::Sdmdl::UnfoldingStateTable< T >::printTable().
|
inline |
Definition at line 90 of file UnfoldingStateTable.hh.
|
inline |
Definition at line 78 of file UnfoldingStateTable.hh.
Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::getInfo(), and Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound().
|
inline |
Definition at line 58 of file UnfoldingStateTable.hh.
Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::getInfo(), Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound(), and Diades::Sdmdl::UnfoldingStateTable< T >::printTable().
|
inline |
inf | an information of type T |
Definition at line 69 of file UnfoldingStateTable.hh.
Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound().
|
inline |
Definition at line 63 of file UnfoldingStateTable.hh.
Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::getInfo(), and Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound().
|
private |
is the information there or not ?
Definition at line 26 of file UnfoldingStateTable.hh.
|
private |
state of the StateNode
Definition at line 24 of file UnfoldingStateTable.hh.
|
private |
Definition at line 23 of file UnfoldingStateTable.hh.
|
private |
informtaion of the StateNode
Definition at line 25 of file UnfoldingStateTable.hh.