#include <cmath>
Defines | |
#define | MAX(a, b) ((a) > (b) ? (a) : (b)) |
#define | MIN(a, b) ((a) < (b) ? (a) : (b)) |
Functions | |
template<class T > | |
T | gcd (T a, T b) |
template<class T > | |
T | lcm (T a, T b) |
Define Documentation
Referenced by FSMSADF::computeMCMfsm(), MaxPlusAnalysis::State::consume(), FSMSADF::FSMConverter::convertFSMToEdgeLabeled(), MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), MaxPlusAnalysis::GraphDecoration::Graph::fire(), FSMSADF::MemoryBinding::getAllocatedMemorySize(), FSMSADF::NetworkInterfaceBinding::getInBandwidthUsedForGraph(), MaxPlusAnalysis::TokenFIFO_Static::getMax(), FSMSADF::MemoryBinding::getMemorySizeUsedForGraph(), FSMSADF::NetworkInterfaceBinding::getNrInConnectionsUsedForGraph(), FSMSADF::NetworkInterfaceBinding::getNrOutConnectionsUsedForGraph(), FSMSADF::NetworkInterfaceBinding::getOutBandwidthUsedForGraph(), FSMSADF::ProcessorBinding::getWheelsizeUsedForGraph(), MaxPlusAnalysis::SymbolicToken::maxWith(), MaxPlusAnalysis::TokenFIFO_Static::maxWith(), mcmDG(), mcmKarp(), mcmSimpleCycles(), mcmSimpleCycleVisit(), and MaxPlusAnalysis::State::norm().
Function Documentation
T gcd | ( | T | a, | |
T | b | |||
) |
Referenced by assignConsistentRates(), calcRepetitionVector(), FSMSADF::calcRepetitionVector(), CSDFgraph::calcRepetitionVector(), computeMinimalChannelSz(), computeMinimalChannelSzStep(), getLbDistributionSz(), getUbDistributionSz(), SDFstateSpaceBufferAnalysis::initMinimalChannelSz(), CSDFstateSpaceBufferAnalysis::initMinimalChannelSz(), SDFstateSpaceBindingAwareBufferAnalysis::initMinimalChannelSz(), SDFstateSpaceBufferAnalysis::initMinimalChannelSzStep(), CSDFstateSpaceBufferAnalysis::initMinimalChannelSzStep(), SDFstateSpaceBindingAwareBufferAnalysis::initMinimalChannelSzStep(), lcm(), printMaximumChannelSz(), printMinimalChannelSz(), and printMinimalChannelSzStep().
T lcm | ( | T | a, | |
T | b | |||
) |
References gcd().
Referenced by calcRepetitionVector(), FSMSADF::calcRepetitionVector(), CSDFgraph::calcRepetitionVector(), computeGraphPeriod(), SDFstateSpaceTraceInterconnectCommunication::TransitionSystem::computeScheduleExtensions(), and CSDFgraph::getRepetitionVector().