FSMSADF::MPExplore::Exploration Class Reference

#include <mpexplore.h>

Collaboration diagram for FSMSADF::MPExplore::Exploration:

List of all members.

Public Member Functions

MPTime exploreDelayForSchedule (MaxPlus::Vector *gamma0, MaxPlus::Vector *gamma_s, MPTime period)
void exploreEigen (MaxPlus::Vector **eigenvector, MPTime *eigenvalue)
MaxPlus::VectorconvertEigenvector (ScenarioGraph *sg1, MaxPlus::Vector *v1)

Public Attributes

Actor ** staticSchedule

Detailed Description

class Exploration A MaxPlusExploration object encapsulates MaxPlus analysis algorithms.

Member Function Documentation

MaxPlus::Vector * FSMSADF::MPExplore::Exploration::convertEigenvector ( ScenarioGraph sg1,
MaxPlus::Vector v1 

convertEigenvector() The function converts the time stamps in the eigenvector v1 of scenario graph sg1 to an eigenvector for this scenario graph. The eigen vector contains an entry for each initial token in the scenario graph. The entries are ordered based on the channel ids (low to high).

References c, G, MaxPlus::Vector::get(), FSMSADF::ScenarioGraph::getChannels(), FSMSADF::Channel::getInitialTokens(), FSMSADF::GraphComponent::getName(), MaxPlus::MP_MINUSINFINITY, MaxPlus::Vector::put(), and FSMSADF::MPExplore::SGraph::scenarioGraph.

Here is the call graph for this function:

Member Data Documentation

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