Namespaces | Functions

fsmsadf/analysis/base/repetition_vector.cc File Reference

#include "repetition_vector.h"
Include dependency graph for fsmsadf/analysis/base/repetition_vector.cc:

Namespaces

namespace  FSMSADF

Functions

static void FSMSADF::calcFractionsConnectedActors (CFractions &fractions, Actor *a, Scenario *s)
static RepetitionVector FSMSADF::calcRepetitionVector (CFractions &fractions)
RepetitionVector FSMSADF::computeRepetitionVector (ScenarioGraph *g, Scenario *s)
bool FSMSADF::isScenarioGraphConsistent (ScenarioGraph *g, Scenario *s)