|
Public Member Functions |
| TimedAutomataSystem () |
virtual | ~TimedAutomataSystem () |
declarations_t & | getGlobals () |
| Returns the global declarations of the system.
|
std::list< template_t > & | getTemplates () |
| Returns the templates of the system.
|
std::list< process_t > & | getProcesses () |
| Returns the processes of the system.
|
variable_t * | addVariableToFunction (function_t *, frame_t, type_t, std::string, expression_t initital) |
variable_t * | addVariable (declarations_t *, type_t type, std::string, expression_t initial) |
void | addProgressMeasure (declarations_t *, expression_t guard, expression_t measure) |
template_t & | addTemplate (std::string, frame_t templateset, frame_t params) |
| Creates and returns a new template.
|
instance_t & | addInstance (std::string name, const template_t *) |
process_t & | addProcess (symbol_t uid) |
void | accept (SystemVisitor &) |
const std::set< symbol_t > & | getConstants () const |
| Returns the set of symbols declared as constants.
|
const std::map< symbol_t,
expression_t > & | getConstantValuation () const |
| Returns a valuation for the constants.
|
std::map< symbol_t, expression_t > & | getConstantValuation () |
| Returns a valuation for the constants.
|
void | setBeforeUpdate (expression_t) |
expression_t | getBeforeUpdate () |
void | setAfterUpdate (expression_t) |
expression_t | getAfterUpdate () |
Protected Member Functions |
variable_t * | addVariable (std::list< variable_t > &variables, frame_t frame, type_t type, std::string) |
Protected Attributes |
std::list< template_t > | templates |
std::list< instance_t > | instances |
std::list< process_t > | processes |
std::set< symbol_t > | constants |
std::map< symbol_t, expression_t > | constantValuation |
declarations_t | global |
expression_t | beforeUpdate |
expression_t | afterUpdate |