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(const std::string &, frame_t params)	UTAP::TimedAutomataSystem
addError(position_t, const std::string &msg, const std::string &ctx="")	UTAP::TimedAutomataSystem
addGantt(declarations_t *, gantt_t &)	UTAP::TimedAutomataSystem
addInstance(const std::string &name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments)	UTAP::TimedAutomataSystem
addIODecl()	UTAP::TimedAutomataSystem
addLscInstance(const 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, const 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(const 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, const std::string &, expression_t initial)	UTAP::TimedAutomataSystem
addVariable(std::list< variable_t > &variables, frame_t frame, type_t type, const std::string &)	UTAP::TimedAutomataSystem	protected
addVariableToFunction(function_t *, frame_t, type_t, const std::string &, expression_t initital)	UTAP::TimedAutomataSystem
addWarning(position_t, const std::string &msg, const std::string &ctx="")	UTAP::TimedAutomataSystem
afterUpdate	UTAP::TimedAutomataSystem	protected
beforeUpdate	UTAP::TimedAutomataSystem	protected
beginChanPriority(expression_t chan)	UTAP::TimedAutomataSystem
chanPriorities	UTAP::TimedAutomataSystem	protected
clearErrors()	UTAP::TimedAutomataSystem
clearWarnings()	UTAP::TimedAutomataSystem
clockGuardRecvBroadcast()	UTAP::TimedAutomataSystem	inline
copyFunctionsFromTo(template_t *from, template_t *to) const	UTAP::TimedAutomataSystem
copyVariablesFromTo(template_t *from, template_t *to) const	UTAP::TimedAutomataSystem
defaultChanPriority	UTAP::TimedAutomataSystem	protected
dynamicTemplates	UTAP::TimedAutomataSystem	protected
dynamicTemplatesVec	UTAP::TimedAutomataSystem	protected
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::TimedAutomataSystem	inline
getTemplates()	UTAP::TimedAutomataSystem
getWarnings() const	UTAP::TimedAutomataSystem
global	UTAP::TimedAutomataSystem	protected
hasClockGuardRecvBroadcast() const	UTAP::TimedAutomataSystem	inline
hasDynamicTemplates() const	UTAP::TimedAutomataSystem	inline
hasErrors() const	UTAP::TimedAutomataSystem
hasGuardOnRecvBroadcast	UTAP::TimedAutomataSystem	protected
hasPriorities	UTAP::TimedAutomataSystem	protected
hasPriorityDeclaration() const	UTAP::TimedAutomataSystem
hasStopWatch() const	UTAP::TimedAutomataSystem
hasStrictInv	UTAP::TimedAutomataSystem	protected
hasStrictInvariants() const	UTAP::TimedAutomataSystem
hasStrictLowControlledGuards	UTAP::TimedAutomataSystem	protected
hasStrictLowerBoundOnControllableEdges() const	UTAP::TimedAutomataSystem
hasUrgentTrans	UTAP::TimedAutomataSystem	protected
hasUrgentTransition() const	UTAP::TimedAutomataSystem	inline
hasWarnings() const	UTAP::TimedAutomataSystem
instances	UTAP::TimedAutomataSystem	protected
isModified() const	UTAP::TimedAutomataSystem
location	UTAP::TimedAutomataSystem	protected
lscInstances	UTAP::TimedAutomataSystem	protected
modified	UTAP::TimedAutomataSystem	protected
obsTA	UTAP::TimedAutomataSystem
processes	UTAP::TimedAutomataSystem	protected
procPriority	UTAP::TimedAutomataSystem	protected
queries	UTAP::TimedAutomataSystem	protected
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(sync_use_t s)	UTAP::TimedAutomataSystem	inline
setUrgentTransition()	UTAP::TimedAutomataSystem	inline
stopsClock	UTAP::TimedAutomataSystem	protected
syncUsed	UTAP::TimedAutomataSystem	protected
templates	UTAP::TimedAutomataSystem	protected
TimedAutomataSystem()	UTAP::TimedAutomataSystem
TimedAutomataSystem(const TimedAutomataSystem &)	UTAP::TimedAutomataSystem
~TimedAutomataSystem()	UTAP::TimedAutomataSystem	virtual