Public Attributes

FSMSADF::_MCMedge Struct Reference

#include <mcmgraph.h>

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

List of all members.

Public Attributes

CId id
struct _MCMnode * src
struct _MCMnode * dst
double w
double d

Member Data Documentation

double FSMSADF::_MCMedge::d

Referenced by FSMSADF::MCMgraph::addEdge(), FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), and FSMSADF::computeMCMfsm().

struct _MCMnode* FSMSADF::_MCMedge::dst

Referenced by FSMSADF::MCMgraph::addEdge(), FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), FSMSADF::computeMCMfsm(), and FSMSADF::MCMgraph::removeEdge().

CId FSMSADF::_MCMedge::id

Referenced by FSMSADF::MCMgraph::addEdge(), FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), and FSMSADF::computeMCMfsm().

struct _MCMnode* FSMSADF::_MCMedge::src

Referenced by FSMSADF::MCMgraph::addEdge(), FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), FSMSADF::computeMCMfsm(), and FSMSADF::MCMgraph::removeEdge().

double FSMSADF::_MCMedge::w

Referenced by FSMSADF::MCMgraph::addEdge(), FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), and FSMSADF::computeMCMfsm().

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