Public Attributes

FSMSADF::_MCMnode Struct Reference

#include <mcmgraph.h>

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

List of all members.

Public Attributes

CId id
MCMedges in
MCMedges out

Member Data Documentation

CId FSMSADF::_MCMnode::id

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

MCMedges FSMSADF::_MCMnode::in

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

MCMedges FSMSADF::_MCMnode::out

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

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