|
Public Member Functions |
| TimedAutomataSystem () |
virtual | ~TimedAutomataSystem () |
std::list< template_t > & | getTemplates () |
std::list< process_t > & | getProcesses () |
template_t & | getGlobals () |
void | setDeclarationBlock (declarations_t *) |
variable_t * | addVariable (type_t type, const char *name, expression_t initial) |
bool | addFunction (type_t type, const char *name, function_t *&) |
template_t & | addTemplate (const char *name, frame_t params) |
| Creates and returns a new template.
|
state_t & | addLocation (const char *name, expression_t inv) |
transition_t & | addTransition (symbol_t src, symbol_t dst) |
instance_t & | addInstance (const char *name, const template_t *) |
process_t & | addProcess (symbol_t uid) |
void | accept (SystemVisitor &) |
const std::set< symbol_t > & | getConstants () const |
const std::map< symbol_t,
expression_t > | getConstantValuation () const |
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 |
template_t | global |
declarations_t * | current |