Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

UTAP::TimedAutomataSystem Class Reference

#include <system.h>

List of all members.

Public Member Functions

 TimedAutomataSystem ()
virtual ~TimedAutomataSystem ()
declarations_tgetGlobals ()
 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_taddVariableToFunction (function_t *, frame_t, type_t, std::string, expression_t initital)
variable_taddVariable (declarations_t *, type_t type, std::string, expression_t initial)
void addProgressMeasure (declarations_t *, expression_t guard, expression_t measure)
template_taddTemplate (std::string, frame_t templateset, frame_t params)
 Creates and returns a new template.
instance_taddInstance (std::string name, const template_t *)
process_taddProcess (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_taddVariable (std::list< variable_t > &variables, frame_t frame, type_t type, std::string)

Protected Attributes

std::list< template_ttemplates
std::list< instance_tinstances
std::list< process_tprocesses
std::set< symbol_tconstants
std::map< symbol_t, expression_tconstantValuation
declarations_t global
expression_t beforeUpdate
expression_t afterUpdate


Constructor & Destructor Documentation

TimedAutomataSystem::TimedAutomataSystem  ) 
 

TimedAutomataSystem::~TimedAutomataSystem  )  [virtual]
 


Member Function Documentation

void TimedAutomataSystem::accept SystemVisitor  ) 
 

instance_t & TimedAutomataSystem::addInstance std::string  name,
const template_t
 

process_t & TimedAutomataSystem::addProcess symbol_t  uid  ) 
 

void TimedAutomataSystem::addProgressMeasure declarations_t ,
expression_t  guard,
expression_t  measure
 

template_t & TimedAutomataSystem::addTemplate std::string  ,
frame_t  templateset,
frame_t  params
 

Creates and returns a new template.

The template is created with the given name and parameters and added to the global frame. The new template is set to be the current template. The method does not check for duplicate declarations.

variable_t * TimedAutomataSystem::addVariable std::list< variable_t > &  variables,
frame_t  frame,
type_t  type,
std::string 
[protected]
 

variable_t * TimedAutomataSystem::addVariable declarations_t ,
type_t  type,
std::string  ,
expression_t  initial
 

variable_t * TimedAutomataSystem::addVariableToFunction function_t ,
frame_t  ,
type_t  ,
std::string  ,
expression_t  initital
 

expression_t TimedAutomataSystem::getAfterUpdate  ) 
 

expression_t TimedAutomataSystem::getBeforeUpdate  ) 
 

const set< symbol_t > & TimedAutomataSystem::getConstants  )  const
 

Returns the set of symbols declared as constants.

map< symbol_t, expression_t > & TimedAutomataSystem::getConstantValuation  ) 
 

Returns a valuation for the constants.

Constants evaluate to their initial value. This valuation is populated by the type checker, hence it is empty until the type checker has been run.

const map< symbol_t, expression_t > & TimedAutomataSystem::getConstantValuation  )  const
 

Returns a valuation for the constants.

Constants evaluate to their initial value. This valuation is populated by the type checker, hence it is empty until the type checker has been run.

declarations_t & TimedAutomataSystem::getGlobals  ) 
 

Returns the global declarations of the system.

list< process_t > & TimedAutomataSystem::getProcesses  ) 
 

Returns the processes of the system.

list< template_t > & TimedAutomataSystem::getTemplates  ) 
 

Returns the templates of the system.

void TimedAutomataSystem::setAfterUpdate expression_t   ) 
 

void TimedAutomataSystem::setBeforeUpdate expression_t   ) 
 


Member Data Documentation

expression_t UTAP::TimedAutomataSystem::afterUpdate [protected]
 

expression_t UTAP::TimedAutomataSystem::beforeUpdate [protected]
 

std::set<symbol_t> UTAP::TimedAutomataSystem::constants [protected]
 

std::map<symbol_t, expression_t> UTAP::TimedAutomataSystem::constantValuation [protected]
 

declarations_t UTAP::TimedAutomataSystem::global [protected]
 

std::list<instance_t> UTAP::TimedAutomataSystem::instances [protected]
 

std::list<process_t> UTAP::TimedAutomataSystem::processes [protected]
 

std::list<template_t> UTAP::TimedAutomataSystem::templates [protected]
 


The documentation for this class was generated from the following files:
Generated on Thu Nov 10 13:16:13 2005 for libutap by  doxygen 1.4.2