system.h File Reference

#include <list>
#include <vector>
#include <map>
#include <exception>
#include "utap/symbols.h"
#include "utap/expression.h"
#include "utap/position.h"

Go to the source code of this file.

Namespaces

namespace  UTAP

Classes

struct  UTAP::variable_t
 Base type for variables, clocks, etc. More...
struct  UTAP::state_t
 Information about a location. More...
struct  UTAP::edge_t
 Information about an edge. More...
struct  UTAP::function_t
 Information about a function. More...
struct  UTAP::progress_t
struct  UTAP::declarations_t
 Structure holding declarations of various types. More...
struct  UTAP::instance_t
 Partial instance of a template. More...
struct  UTAP::template_t
 Information about a template. More...
struct  UTAP::chan_priority_t
 Channel priority information. More...
class  UTAP::SystemVisitor
class  UTAP::TimedAutomataSystem


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7