libutap  0.93
Uppaal Timed Automata Parser
UTAP::template_t Member List

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

addBranchpoint(const 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, const std::string &actname)UTAP::template_t
addFunction(type_t type, const std::string &, function_t *&)UTAP::declarations_t
addInstanceLine()UTAP::template_t
addLocation(const 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() constUTAP::declarations_t
getDynamicEval()UTAP::template_tinline
getFunctions() constUTAP::declarations_t
getSimregions()UTAP::template_t
getTypeDefinitions() constUTAP::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) constUTAP::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) constUTAP::declarations_t
typeUTAP::template_t
uidUTAP::instance_t
unboundUTAP::instance_t
updatesUTAP::template_t
variablesUTAP::declarations_t
writeArguments() constUTAP::instance_t
writeMapping() constUTAP::instance_t
writeParameters() constUTAP::instance_t