#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 |