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

---