Value:
Referenced by SDFstateSpaceBufferAnalysisNingGao::addStorageDistributionToChecklist(), addStorageDistributionToChecklist(), SDFstateSpaceBufferAnalysis::addStorageDistributionToChecklist(), CSDFstateSpaceBufferAnalysis::addStorageDistributionToChecklist(), SDFstateSpaceBindingAwareBufferAnalysis::addStorageDistributionToChecklist(), BindingAwareSDFG::BindingAwareSDFG(), FSMSADF::FSMtransition::clone(), FSMSADF::FSMstate::clone(), StaticOrderSchedule::convertToXML(), FSMSADF::StaticOrderSchedule::convertToXML(), createInitialMCMgraph(), LoadBalanceBinding::decreaseLoadTile(), FSMSADF::GraphBinding::ParetoQuantities::distance(), FSMSADF::GraphBinding::ParetoQuantities::dominates(), execSDFgraph(), BindingAwareSDFG::extractActorMapping(), BindingAwareSDFG::extractChannelMapping(), generateSDFgraphProperties(), NoCScheduler::getSchedulingProblem(), SDFstateSpacePriorityListScheduler::TransitionSystem::initActorPriorities(), StaticOrderSchedule::minimize(), FSMSADF::StaticOrderSchedule::minimize(), mmcycle(), BindingAwareSDFG::modelBindingInMPFlow(), BindingAwareSDFG::modelBindingInNSoCFlow(), randomActor(), randomChannel(), FSMSADF::RandomGraph::randomChannel(), randomPort(), FSMSADF::RandomGraph::randomPort(), FSMSADF::RandomGraph::randomScenarioGraph(), FSMSADF::RandomGraph::randomState(), SlotTableSeq::reserveSlots(), LoadBalanceBinding::reserveTimeSlices(), stronglyConnectedComponents(), stronglyConnectedMCMgraph(), and treeVisitChildren().