Public Member Functions | Protected Attributes

FSM::Abstract::State Class Reference

#include <fsm.h>

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

List of all members.

Public Member Functions

 State ()
 ~State ()
void addOutGoingEdge (Edge *e)
virtual const SetOfEdges * getOutgoingEdges ()

Protected Attributes

SetOfEdges * outgoingEdges

Constructor & Destructor Documentation

FSM::Abstract::State::State (  )  [inline]
FSM::Abstract::State::~State (  )  [inline]

Member Function Documentation

void FSM::Abstract::State::addOutGoingEdge ( Edge *  e  )  [inline]

References FSM::Abstract::Edge::getSource().

Here is the call graph for this function:

virtual const SetOfEdges* FSM::Abstract::State::getOutgoingEdges ( void   )  [inline, virtual]

Reimplemented in FSM::StateStringLabeled::State, and FSM::Product::State.

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator::calculateThroughput(), FSM::Abstract::DepthFirstSearch::DFSStackItem::DFSStackItem(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughput(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughputMax(), FSM::Product::State::getOutgoingEdges(), FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::insertOutgoingLabels(), and FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::minimizeEdgeLabels().

Member Data Documentation

SetOfEdges* FSM::Abstract::State::outgoingEdges [protected]

Referenced by FSM::Product::State::getOutgoingEdges().

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