accept(SystemVisitor &) | UTAP::TimedAutomataSystem | |
addInstance(std::string name, const template_t *) | UTAP::TimedAutomataSystem | |
addProcess(symbol_t uid) | UTAP::TimedAutomataSystem | |
addProgressMeasure(declarations_t *, expression_t guard, expression_t measure) | UTAP::TimedAutomataSystem | |
addTemplate(std::string, frame_t templateset, 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 | |
afterUpdate | UTAP::TimedAutomataSystem | [protected] |
beforeUpdate | UTAP::TimedAutomataSystem | [protected] |
constants | UTAP::TimedAutomataSystem | [protected] |
constantValuation | UTAP::TimedAutomataSystem | [protected] |
getAfterUpdate() | UTAP::TimedAutomataSystem | |
getBeforeUpdate() | UTAP::TimedAutomataSystem | |
getConstants() const | UTAP::TimedAutomataSystem | |
getConstantValuation() const | UTAP::TimedAutomataSystem | |
getConstantValuation() | UTAP::TimedAutomataSystem | |
getGlobals() | UTAP::TimedAutomataSystem | |
getProcesses() | UTAP::TimedAutomataSystem | |
getTemplates() | UTAP::TimedAutomataSystem | |
global | UTAP::TimedAutomataSystem | [protected] |
instances | UTAP::TimedAutomataSystem | [protected] |
processes | UTAP::TimedAutomataSystem | [protected] |
setAfterUpdate(expression_t) | UTAP::TimedAutomataSystem | |
setBeforeUpdate(expression_t) | UTAP::TimedAutomataSystem | |
templates | UTAP::TimedAutomataSystem | [protected] |
TimedAutomataSystem() | UTAP::TimedAutomataSystem | |
~TimedAutomataSystem() | UTAP::TimedAutomataSystem | [virtual] |