system.h File Reference

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

Include dependency graph for system.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	UTAP::variable_t
	Base type for variables, clocks, etc. More...
struct	UTAP::state_t
	Information about a location. More...
struct	UTAP::branchpoint_t
	Information about a branchpoint. 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::iodecl_t
struct	UTAP::ganttmap_t
	Gantt map bool expr -> int expr that can be expanded. More...
struct	UTAP::gantt_t
	Gantt chart entry. More...
struct	UTAP::declarations_t
struct	UTAP::message_t
	Information about a message. More...
struct	UTAP::condition_t
	Information about a condition. More...
struct	UTAP::update_t
	Information about an update. More...
struct	UTAP::simregion_t
struct	UTAP::compare_simregion
struct	UTAP::cut_t
struct	UTAP::instance_t
	Partial instance of a template. More...
struct	UTAP::instanceLine_t
	Information about an instance line. More...
struct	UTAP::template_t
struct	UTAP::chan_priority_t
	Channel priority information. More...
struct	UTAP::query_t
class	UTAP::SystemVisitor
class	UTAP::TimedAutomataSystem

Namespaces
	UTAP

Typedefs
typedef std::vector< query_t >	UTAP::queries_t