Diades::Automata::StateNode Class Reference

#include <StateTable.hh>

Public Member Functions
	StateNode (State s, unsigned size)
	~StateNode ()
void	setState (State s)
State	getState () const
StateNode *	getSynchronisedState () const
StateNode *	getNext (State s) const
StateNode *	setNext (State s, unsigned size)
StateNode *	setNext (State s, const Graph::Graph &graph)
StateNode *	getDown () const
void	setDown (StateNode *down)
void	printNode (int tabNb) const

Private Attributes
State	_state
StateNode *	_down
vector< StateNode * >	_array

Detailed Description

used in a StateTable

Definition at line 47 of file StateTable.hh.

Constructor & Destructor Documentation

StateNode()

Diades::Automata::StateNode::StateNode	(	State	s,
		unsigned	size
	)

~StateNode()

Diades::Automata::StateNode::~StateNode

(

)

Member Function Documentation

getDown()

StateNode* Diades::Automata::StateNode::getDown ( ) const

inline

Definition at line 70 of file StateTable.hh.

getNext()

StateNode* Diades::Automata::StateNode::getNext

(

State

s

)

const

getState()

State Diades::Automata::StateNode::getState ( ) const

inline

Definition at line 65 of file StateTable.hh.

getSynchronisedState()

StateNode* Diades::Automata::StateNode::getSynchronisedState ( ) const

inline

Definition at line 66 of file StateTable.hh.

printNode()

void Diades::Automata::StateNode::printNode

(

int

tabNb

)

const

setDown()

void Diades::Automata::StateNode::setDown ( StateNode *  down )

inline

Definition at line 71 of file StateTable.hh.

setNext() [1/2]

StateNode* Diades::Automata::StateNode::setNext	(	State	s,
		unsigned	size
	)

setNext() [2/2]

StateNode* Diades::Automata::StateNode::setNext	(	State	s,
		const Graph::Graph &	graph
	)

setState()

void Diades::Automata::StateNode::setState ( State  s )

inline

Definition at line 64 of file StateTable.hh.

Member Data Documentation

_array

vector<StateNode *> Diades::Automata::StateNode::_array

private

Definition at line 57 of file StateTable.hh.

_down

StateNode* Diades::Automata::StateNode::_down

private

Definition at line 51 of file StateTable.hh.

_state

State Diades::Automata::StateNode::_state

private

Definition at line 50 of file StateTable.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/StateTable.hh