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

UTAP::TimedAutomataSystem Class Reference

#include <system.hh>

List of all members.

Public Member Functions

 TimedAutomataSystem ()
virtual ~TimedAutomataSystem ()
std::list< template_t > & getTemplates ()
std::list< process_t > & getProcesses ()
template_tgetGlobals ()
template_tgetCurrentTemplate ()
void setCurrentTemplate (template_t &)
void addVariable (type_t type, const char *name, expression_t initial)
function_taddFunction (type_t type, const char *name)
template_taddTemplate (const char *name, frame_t params)
 Creates and returns a new template.

state_taddLocation (const char *name, expression_t inv)
transition_taddTransition (symbol_t src, symbol_t dst)
instance_taddInstance (const char *name, const template_t *)
process_taddProcess (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_ttemplates
std::list< instance_tinstances
std::list< process_tprocesses
std::set< symbol_tconstants
std::map< symbol_t, expression_tconstantValuation
template_t global
template_tcurrent_template


Constructor & Destructor Documentation

TimedAutomataSystem::TimedAutomataSystem  ) 
 

TimedAutomataSystem::~TimedAutomataSystem  )  [virtual]
 


Member Function Documentation

void TimedAutomataSystem::accept SystemVisitor  ) 
 

function_t & TimedAutomataSystem::addFunction type_t  type,
const char *  name
 

instance_t & TimedAutomataSystem::addInstance const char *  name,
const template_t
 

state_t & TimedAutomataSystem::addLocation const char *  name,
expression_t  inv
 

process_t & TimedAutomataSystem::addProcess symbol_t  uid  ) 
 

template_t & TimedAutomataSystem::addTemplate const char *  name,
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.

transition_t & TimedAutomataSystem::addTransition symbol_t  src,
symbol_t  dst
 

void TimedAutomataSystem::addVariable type_t  type,
const char *  name,
expression_t  initial
 

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

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

template_t & TimedAutomataSystem::getCurrentTemplate  ) 
 

template_t & TimedAutomataSystem::getGlobals  ) 
 

list< process_t > & TimedAutomataSystem::getProcesses  ) 
 

list< template_t > & TimedAutomataSystem::getTemplates  ) 
 

void TimedAutomataSystem::setCurrentTemplate template_t  ) 
 


Member Data Documentation

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

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

template_t* UTAP::TimedAutomataSystem::current_template [protected]
 

template_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 Wed Jul 2 12:08:20 2003 for libutap by doxygen 1.3.2