libutap
UTAP::template_t Member List

This is the complete list of members for UTAP::template_t, including all inherited members.

addBranchpoint(std::string)UTAP::template_t
addCondition(std::vector< symbol_t > anchors, int loc, bool pch, bool isHot)UTAP::template_t
addDynamicEval(expression_t t)UTAP::template_tinline
addEdge(symbol_t src, symbol_t dst, bool type, std::string actname)UTAP::template_t
addFunction(type_t type, std::string, function_t *&)UTAP::declarations_t
addInstanceLine()UTAP::template_t
addLocation(std::string, expression_t inv, expression_t er)UTAP::template_t
addMessage(symbol_t src, symbol_t dst, int loc, bool pch)UTAP::template_t
addUpdate(symbol_t anchor, int loc, bool pch)UTAP::template_t
argumentsUTAP::instance_t
branchpointsUTAP::template_t
conditionsUTAP::template_t
dynamicUTAP::template_t
dynamicEvalsUTAP::template_t
dynindexUTAP::template_t
edgesUTAP::template_t
frameUTAP::declarations_t
functionsUTAP::declarations_t
ganttChartUTAP::declarations_t
getCondition(instanceLine_t *instance, int y, condition_t *&simCondition)UTAP::template_t
getConstants() const UTAP::declarations_t
getDynamicEval()UTAP::template_tinline
getFunctions() const UTAP::declarations_t
getSimregions()UTAP::template_t
getTypeDefinitions() const UTAP::declarations_t
getUpdate(instanceLine_t *instance, int y, update_t *&simUpdate)UTAP::template_t
getUpdate(const std::vector< instanceLine_t * > &instances, int y, update_t *&simUpdate)UTAP::template_t
getVariables(bool global) const UTAP::declarations_t
hasPrechartUTAP::template_t
initUTAP::template_t
instancesUTAP::template_t
iodeclUTAP::declarations_t
isDefinedUTAP::template_t
isInvariant()UTAP::template_t
isTAUTAP::template_t
mappingUTAP::instance_t
messagesUTAP::template_t
modeUTAP::template_t
parametersUTAP::instance_t
progressUTAP::declarations_t
restrictedUTAP::instance_t
statesUTAP::template_t
templUTAP::instance_t
templatesetUTAP::template_t
toString(bool global=false) const UTAP::declarations_t
typeUTAP::template_t
uidUTAP::instance_t
unboundUTAP::instance_t
updatesUTAP::template_t
variablesUTAP::declarations_t
writeArguments() const UTAP::instance_t
writeMapping() const UTAP::instance_t
writeParameters() const UTAP::instance_t