libutap
UTAP::TimedAutomataSystem Member List

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

accept(SystemVisitor &)UTAP::TimedAutomataSystem
addChanPriority(char separator, expression_t chan)UTAP::TimedAutomataSystem
addDynamicTemplate(std::string, frame_t params)UTAP::TimedAutomataSystem
addError(position_t, std::string, std::string location="")UTAP::TimedAutomataSystem
addGantt(declarations_t *, gantt_t &)UTAP::TimedAutomataSystem
addInstance(std::string name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments)UTAP::TimedAutomataSystem
addIODecl()UTAP::TimedAutomataSystem
addLscInstance(std::string name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments)UTAP::TimedAutomataSystem
addPosition(uint32_t position, uint32_t offset, uint32_t line, std::string path)UTAP::TimedAutomataSystem
addProcess(instance_t &instance)UTAP::TimedAutomataSystem
addProgressMeasure(declarations_t *, expression_t guard, expression_t measure)UTAP::TimedAutomataSystem
addQuery(const query_t &query)UTAP::TimedAutomataSystem
addTemplate(std::string, frame_t params, const bool isTA=true, const std::string type="", const std::string mode="")UTAP::TimedAutomataSystem
addVariable(declarations_t *, type_t type, std::string, expression_t initial)UTAP::TimedAutomataSystem
addVariable(std::list< variable_t > &variables, frame_t frame, type_t type, std::string)UTAP::TimedAutomataSystemprotected
addVariableToFunction(function_t *, frame_t, type_t, std::string, expression_t initital)UTAP::TimedAutomataSystem
addWarning(position_t, std::string)UTAP::TimedAutomataSystem
afterUpdateUTAP::TimedAutomataSystemprotected
beforeUpdateUTAP::TimedAutomataSystemprotected
beginChanPriority(expression_t chan)UTAP::TimedAutomataSystem
chanPrioritiesUTAP::TimedAutomataSystemprotected
clearErrors()UTAP::TimedAutomataSystem
clearWarnings()UTAP::TimedAutomataSystem
clockGuardRecvBroadcast()UTAP::TimedAutomataSysteminline
copyFunctionsFromTo(template_t *from, template_t *to) const UTAP::TimedAutomataSystem
copyVariablesFromTo(template_t *from, template_t *to) const UTAP::TimedAutomataSystem
defaultChanPriorityUTAP::TimedAutomataSystemprotected
dynamicTemplatesUTAP::TimedAutomataSystemprotected
dynamicTemplatesVecUTAP::TimedAutomataSystemprotected
findPosition(uint32_t position) const UTAP::TimedAutomataSystem
getAfterUpdate()UTAP::TimedAutomataSystem
getBeforeUpdate()UTAP::TimedAutomataSystem
getChanPriorities() const UTAP::TimedAutomataSystem
getDynamicTemplate(const std::string name)UTAP::TimedAutomataSystem
getDynamicTemplates()UTAP::TimedAutomataSystem
getErrors() const UTAP::TimedAutomataSystem
getGlobals()UTAP::TimedAutomataSystem
getMutableChanPriorities()UTAP::TimedAutomataSystem
getProcesses()UTAP::TimedAutomataSystem
getProcPriority(const char *name) const UTAP::TimedAutomataSystem
getQueries()UTAP::TimedAutomataSystem
getSyncUsed() const UTAP::TimedAutomataSysteminline
getTemplates()UTAP::TimedAutomataSystem
getWarnings() const UTAP::TimedAutomataSystem
globalUTAP::TimedAutomataSystemprotected
hasClockGuardRecvBroadcast() const UTAP::TimedAutomataSysteminline
hasDynamicTemplates() const UTAP::TimedAutomataSysteminline
hasErrors() const UTAP::TimedAutomataSystem
hasGuardOnRecvBroadcastUTAP::TimedAutomataSystemprotected
hasPrioritiesUTAP::TimedAutomataSystemprotected
hasPriorityDeclaration() const UTAP::TimedAutomataSystem
hasStopWatch() const UTAP::TimedAutomataSystem
hasStrictInvUTAP::TimedAutomataSystemprotected
hasStrictInvariants() const UTAP::TimedAutomataSystem
hasStrictLowControlledGuardsUTAP::TimedAutomataSystemprotected
hasStrictLowerBoundOnControllableEdges() const UTAP::TimedAutomataSystem
hasUrgentTransUTAP::TimedAutomataSystemprotected
hasUrgentTransition() const UTAP::TimedAutomataSysteminline
hasWarnings() const UTAP::TimedAutomataSystem
instancesUTAP::TimedAutomataSystemprotected
isModified() const UTAP::TimedAutomataSystem
locationUTAP::TimedAutomataSystemprotected
lscInstancesUTAP::TimedAutomataSystemprotected
modifiedUTAP::TimedAutomataSystemprotected
obsTAUTAP::TimedAutomataSystem
processesUTAP::TimedAutomataSystemprotected
procPriorityUTAP::TimedAutomataSystemprotected
queriesUTAP::TimedAutomataSystemprotected
queriesEmpty()UTAP::TimedAutomataSystem
recordStopWatch()UTAP::TimedAutomataSystem
recordStrictInvariant()UTAP::TimedAutomataSystem
recordStrictLowerBoundOnControllableEdges()UTAP::TimedAutomataSystem
removeProcess(instance_t &instance)UTAP::TimedAutomataSystem
setAfterUpdate(expression_t)UTAP::TimedAutomataSystem
setBeforeUpdate(expression_t)UTAP::TimedAutomataSystem
setModified(bool mod)UTAP::TimedAutomataSystem
setProcPriority(const char *name, int priority)UTAP::TimedAutomataSystem
setSyncUsed(int s)UTAP::TimedAutomataSysteminline
setUrgentTransition()UTAP::TimedAutomataSysteminline
stopsClockUTAP::TimedAutomataSystemprotected
syncUsedUTAP::TimedAutomataSystemprotected
templatesUTAP::TimedAutomataSystemprotected
TimedAutomataSystem()UTAP::TimedAutomataSystem
TimedAutomataSystem(const TimedAutomataSystem &)UTAP::TimedAutomataSystem
~TimedAutomataSystem()UTAP::TimedAutomataSystemvirtual