DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | Private Attributes | List of all members
Diades::Sdmdl::StateNode< T > Class Template Reference

#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)
 
getInfo () const
 
list< StateNode * > * children ()
 
const list< StateNode * > * children () const
 

Private Attributes

int _state
 
_inf
 state of the StateNode More...
 
bool _tag
 informtaion of the StateNode More...
 
list< StateNode * > _children
 is the information there or not ? More...
 

Detailed Description

template<class T>
class Diades::Sdmdl::StateNode< T >

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.

Constructor & Destructor Documentation

◆ StateNode() [1/3]

template<class T>
Diades::Sdmdl::StateNode< T >::StateNode ( )
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.

◆ StateNode() [2/3]

template<class T>
Diades::Sdmdl::StateNode< T >::StateNode ( int  i)
inline

Paramtrized constructor

Parameters
ian element of a cube
Precondition
i = 0 or i = 1 or i = 2
Postcondition
!isTagged() && s == state()

Definition at line 43 of file UnfoldingStateTable.hh.

◆ StateNode() [3/3]

template<class T>
Diades::Sdmdl::StateNode< T >::StateNode ( int  i,
const T &  inf 
)
inline

Paramtrized constructor

Parameters
ian element of a cube
infan infomation of type T
Precondition
i = 0 or i = 1 or i = 2
Postcondition
isTagged() && s == state() && inf == getInfo() (copy)

Definition at line 53 of file UnfoldingStateTable.hh.

Member Function Documentation

◆ children() [1/2]

template<class T>
list<StateNode *>* Diades::Sdmdl::StateNode< T >::children ( )
inline

◆ children() [2/2]

template<class T>
const list<StateNode *>* Diades::Sdmdl::StateNode< T >::children ( ) const
inline
Returns
the list of node children (const)

Definition at line 90 of file UnfoldingStateTable.hh.

◆ getInfo()

template<class T>
T Diades::Sdmdl::StateNode< T >::getInfo ( ) const
inline

◆ isTagged()

template<class T>
bool Diades::Sdmdl::StateNode< T >::isTagged ( ) const
inline

◆ setInfo()

template<class T>
void Diades::Sdmdl::StateNode< T >::setInfo ( const T &  inf)
inline
Parameters
infan information of type T
Postcondition
isTagged() && inf == getinfo() (copy)

Definition at line 69 of file UnfoldingStateTable.hh.

Referenced by Diades::Sdmdl::UnfoldingStateTable< T >::insertIfNotFound().

◆ state()

template<class T>
int Diades::Sdmdl::StateNode< T >::state ( ) const
inline

Member Data Documentation

◆ _children

template<class T>
list<StateNode *> Diades::Sdmdl::StateNode< T >::_children
private

is the information there or not ?

Definition at line 26 of file UnfoldingStateTable.hh.

◆ _inf

template<class T>
T Diades::Sdmdl::StateNode< T >::_inf
private

state of the StateNode

Definition at line 24 of file UnfoldingStateTable.hh.

◆ _state

template<class T>
int Diades::Sdmdl::StateNode< T >::_state
private

Definition at line 23 of file UnfoldingStateTable.hh.

◆ _tag

template<class T>
bool Diades::Sdmdl::StateNode< T >::_tag
private

informtaion of the StateNode

Definition at line 25 of file UnfoldingStateTable.hh.


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