Static Public Member Functions

FSMSADF::GraphConversion Class Reference

#include <thrutils.h>

List of all members.

Static Public Member Functions

static ScenarioMatrices * computeMaxPlusMatricesFromScenarios (Graph *g)
static Graph * ensureStronglyBounded (Graph *g)

Member Function Documentation

ScenarioMatrices * FSMSADF::GraphConversion::computeMaxPlusMatricesFromScenarios ( Graph *  g  )  [static]

References MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix(), FSMSADF::Graph::extractSDFgraph(), MaxPlusAnalysis::Exploration::g, MaxPlusAnalysis::Exploration::G, FSMSADF::Graph::getPersistentTokens(), FSMSADF::Graph::getScenarios(), and MaxPlus::Matrix::getSubMatrix().

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator::calculateThroughput(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughput(), and FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughputMax().

Here is the call graph for this function:

Graph * FSMSADF::GraphConversion::ensureStronglyBounded ( Graph *  g  )  [static]

References a, c, FSMSADF::Graph::clone(), FSMSADF::ScenarioGraph::createActor(), FSMSADF::ScenarioGraph::createChannel(), FSMSADF::ScenarioGraph::getChannels(), FSMSADF::Graph::getDefaultScenario(), FSMSADF::Channel::getDstActor(), FSMSADF::Channel::getDstPort(), FSMSADF::GraphComponent::getId(), FSMSADF::Channel::getInitialTokens(), FSMSADF::GraphComponent::getName(), FSMSADF::GraphComponent::getParent(), FSMSADF::Port::getRate(), FSMSADF::Graph::getScenarioGraphs(), FSMSADF::Channel::getSrcActor(), FSMSADF::Channel::getSrcPort(), FSMSADF::Actor::setDefaultProcessorType(), FSMSADF::Actor::setExecutionTimeOfScenario(), FSMSADF::Channel::setInitialTokens(), FSMSADF::GraphComponent::setName(), FSMSADF::Port::setRate(), and FSMSADF::Port::setRateOfScenario().

Here is the call graph for this function:

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