StateTable Class Reference

#include <StateNode.hh>

Public Member Functions
	StateTable ()
void	insert (const vector< State > &states, State synchronisedState)
State	getSynchronisedState (const vector< State > &states) const

Private Attributes
StateNode *	root

Detailed Description

Definition at line 14 of file StateNode.hh.

Constructor & Destructor Documentation

StateTable()

StateTable::StateTable ( )

inline

Definition at line 19 of file StateNode.hh.

References states.

Member Function Documentation

getSynchronisedState()

State StateTable::getSynchronisedState

(

const vector< State > &

states

)

const

Referenced by insert().

insert()

void StateTable::insert	(	const vector< State > &	states,
		State	synchronisedState
	)

Definition at line 26 of file StateNode.hh.

References assertion, current, StateNode::down, getSynchronisedState(), StateNode::next, StateNode::state, StateNode::StateNode(), and states.

Member Data Documentation

root

StateNode* StateTable::root

private

Definition at line 17 of file StateNode.hh.

---

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

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