Public Member Functions | Public Attributes

FSM::Abstract::ReachableStates Class Reference

#include <fsm.h>

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

List of all members.

Public Member Functions

 ReachableStates (FiniteStateMachine *targetFsm)
virtual void onEnterState (State *s)

Public Attributes

SetOfStates * result

Constructor & Destructor Documentation

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

Member Function Documentation

virtual void FSM::Abstract::ReachableStates::onEnterState ( State *  s  )  [inline, virtual]

Member Data Documentation

SetOfStates* FSM::Abstract::ReachableStates::result

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

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