UTAP::TimedAutomataSystem Member List

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

accept(SystemVisitor &)UTAP::TimedAutomataSystem
addError(position_t, std::string)UTAP::TimedAutomataSystem
addInstance(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
addTemplate(std::string, frame_t params)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::TimedAutomataSystem [protected]
addVariableToFunction(function_t *, frame_t, type_t, std::string, expression_t initital)UTAP::TimedAutomataSystem
addWarning(position_t, std::string)UTAP::TimedAutomataSystem
afterUpdateUTAP::TimedAutomataSystem [protected]
beforeUpdateUTAP::TimedAutomataSystem [protected]
chanPrioritiesUTAP::TimedAutomataSystem [protected]
clearErrors()UTAP::TimedAutomataSystem
clearWarnings()UTAP::TimedAutomataSystem
defaultChanPriorityUTAP::TimedAutomataSystem [protected]
findPosition(uint32_t position) const UTAP::TimedAutomataSystem
getAfterUpdate()UTAP::TimedAutomataSystem
getBeforeUpdate()UTAP::TimedAutomataSystem
getChanPriorities() const UTAP::TimedAutomataSystem
getErrors() const UTAP::TimedAutomataSystem
getGlobals()UTAP::TimedAutomataSystem
getMutableChanPriorities()UTAP::TimedAutomataSystem
getProcesses()UTAP::TimedAutomataSystem
getProcPriority(const char *name) const UTAP::TimedAutomataSystem
getTauPriority() const UTAP::TimedAutomataSystem
getTemplates()UTAP::TimedAutomataSystem
getWarnings() const UTAP::TimedAutomataSystem
globalUTAP::TimedAutomataSystem [protected]
hasErrors() const UTAP::TimedAutomataSystem
hasPrioritiesUTAP::TimedAutomataSystem [protected]
hasPriorityDeclaration() const UTAP::TimedAutomataSystem
hasWarnings() const UTAP::TimedAutomataSystem
instancesUTAP::TimedAutomataSystem [protected]
processesUTAP::TimedAutomataSystem [protected]
procPriorityUTAP::TimedAutomataSystem [protected]
setAfterUpdate(expression_t)UTAP::TimedAutomataSystem
setBeforeUpdate(expression_t)UTAP::TimedAutomataSystem
setChanPriority(expression_t chan, int priority)UTAP::TimedAutomataSystem
setDefaultChanPriority(int priority)UTAP::TimedAutomataSystem
setProcPriority(const char *name, int priority)UTAP::TimedAutomataSystem
templatesUTAP::TimedAutomataSystem [protected]
TimedAutomataSystem()UTAP::TimedAutomataSystem
~TimedAutomataSystem()UTAP::TimedAutomataSystem [virtual]


Generated on Thu Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7