Public Member Functions | Public Attributes

FSMSADF::MCMgraph Class Reference

#include <mcmgraph.h>

Collaboration diagram for FSMSADF::MCMgraph:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 MCMgraph ()
 ~MCMgraph ()
uint nrNodes ()
MCMnode * getNode (uint id)
uint nrEdges ()
void addNode (MCMnode *n)
MCMedge * addEdge (CId id, MCMnode *src, MCMnode *dst, double w, double d)
void addEdge (MCMedge *e)
void removeEdge (MCMedge *e)
double calculateMCM (void)
MCMgraph * pruneEdges (void)

Public Attributes

MCMnodes nodes
MCMedges edges

Constructor & Destructor Documentation

FSMSADF::MCMgraph::MCMgraph (  )  [inline]
FSMSADF::MCMgraph::~MCMgraph (  )  [inline]

References edges, and nodes.

Member Function Documentation

MCMedge* FSMSADF::MCMgraph::addEdge ( CId  id,
MCMnode *  src,
MCMnode *  dst,
double  w,
double  d 
) [inline]

References FSMSADF::_MCMedge::d, FSMSADF::_MCMedge::dst, FSMSADF::_MCMedge::id, FSMSADF::_MCMedge::src, and FSMSADF::_MCMedge::w.

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), and FSMSADF::MPExploreStateSpace::StateSpaceExploration::computeMCM().

void FSMSADF::MCMgraph::addEdge ( MCMedge *  e  )  [inline]

References FSMSADF::_MCMedge::dst, edges, FSMSADF::_MCMnode::in, FSMSADF::_MCMnode::out, and FSMSADF::_MCMedge::src.

void FSMSADF::MCMgraph::addNode ( MCMnode *  n  )  [inline]

References nodes.

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), and FSMSADF::MPExploreStateSpace::StateSpaceExploration::computeMCM().

double MCMgraph::calculateMCM ( void   ) 

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), and FSMSADF::MPExploreStateSpace::StateSpaceExploration::computeMCM().

MCMnode* FSMSADF::MCMgraph::getNode ( uint  id  )  [inline]

References nodes.

Referenced by FSMSADF::computeMCMfsm().

uint FSMSADF::MCMgraph::nrEdges (  )  [inline]

References edges.

uint FSMSADF::MCMgraph::nrNodes (  )  [inline]

References nodes.

Referenced by FSMSADF::computeMCMfsm().

MCMgraph * MCMgraph::pruneEdges ( void   ) 

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM().

void FSMSADF::MCMgraph::removeEdge ( MCMedge *  e  )  [inline]

References FSMSADF::_MCMedge::dst, edges, FSMSADF::_MCMnode::in, FSMSADF::_MCMnode::out, and FSMSADF::_MCMedge::src.

Member Data Documentation

MCMedges FSMSADF::MCMgraph::edges

Referenced by addEdge(), FSMSADF::computeMCMfsm(), nrEdges(), removeEdge(), and ~MCMgraph().

MCMnodes FSMSADF::MCMgraph::nodes

Referenced by addNode(), FSMSADF::computeMCMfsm(), getNode(), nrNodes(), and ~MCMgraph().

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