Classes | Public Types | Public Member Functions | Private Attributes

FSM::Abstract::DepthFirstSearch Class Reference

#include <fsm.h>

Inheritance diagram for FSM::Abstract::DepthFirstSearch:
Inheritance graph
[legend]
Collaboration diagram for FSM::Abstract::DepthFirstSearch:
Collaboration graph
[legend]

List of all members.

Classes

class  DFSStackItem

Public Types

typedef list< DFSStackItem * >
::const_iterator 		DFSStackCIter

Public Member Functions

virtual void onEnterState (const State *s)
virtual void onLeaveState (const State *s)
virtual void onTransition (const Edge *e)
virtual void onSimpleCycle (DFSStackCIter i)
 DepthFirstSearch (FiniteStateMachine *targetFsm)
void DoDepthFirstSearch (void)

Private Attributes

list< DFSStackItem * > dfsStack
FiniteStateMachine * fsm

Member Typedef Documentation

typedef list<DFSStackItem*>::const_iterator FSM::Abstract::DepthFirstSearch::DFSStackCIter

Constructor & Destructor Documentation

FSM::Abstract::DepthFirstSearch::DepthFirstSearch ( FiniteStateMachine *  targetFsm  )  [inline]

Member Function Documentation

void FSM::Abstract::DepthFirstSearch::DoDepthFirstSearch ( void   )  [inline]

References FSM::Abstract::DepthFirstSearch::DFSStackItem::advance(), FSM::Abstract::DepthFirstSearch::DFSStackItem::atEnd(), FSM::Abstract::Edge::getDestination(), FSM::Abstract::DepthFirstSearch::DFSStackItem::getIter(), and FSM::Abstract::DepthFirstSearch::DFSStackItem::getState().

Referenced by FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::reachableStates().

Here is the call graph for this function:

virtual void FSM::Abstract::DepthFirstSearch::onEnterState ( const State *  s  )  [inline, virtual]
virtual void FSM::Abstract::DepthFirstSearch::onLeaveState ( const State *  s  )  [inline, virtual]
virtual void FSM::Abstract::DepthFirstSearch::onSimpleCycle ( DFSStackCIter  i  )  [inline, virtual]
virtual void FSM::Abstract::DepthFirstSearch::onTransition ( const Edge *  e  )  [inline, virtual]

Member Data Documentation

list<DFSStackItem*> FSM::Abstract::DepthFirstSearch::dfsStack [private]
FiniteStateMachine* FSM::Abstract::DepthFirstSearch::fsm [private]
The documentation for this class was generated from the following file: