| UTAP::AbstractBuilder | |
| UTAP::AbstractStatementVisitor | |
| UTAP::AssertStatement | |
| UTAP::BlockStatement | |
| UTAP::BreakStatement | |
| UTAP::CaseStatement | |
| UTAP::chan_priority_t | Channel priority information |
| UTAP::CollectChangesVisitor | |
| UTAP::CollectDependenciesVisitor | |
| UTAP::CompileTimeComputableValues | Visitor which collects all compile time computable symbols |
| UTAP::ContinueStatement | |
| UTAP::declarations_t | Structure holding declarations of various types |
| UTAP::DefaultStatement | |
| UTAP::DoWhileStatement | |
| UTAP::edge_t | Information about an edge |
| UTAP::EmptyStatement | |
| UTAP::error_t | |
| UTAP::expression_t | A reference to an expression |
| UTAP::ExpressionBuilder | Partial implementation of the builder interface: The ExpressionBuilder implements all expression related methods |
| UTAP::ExpressionBuilder::ExpressionFragments | |
| UTAP::ExpressionBuilder::TypeFragments | |
| UTAP::ExpressionVisitor | |
| UTAP::ExprStatement | |
| UTAP::ForStatement | |
| UTAP::frame_t | A reference to a frame |
| UTAP::function_t | Information about a function |
| UTAP::IfStatement | |
| UTAP::instance_t | Partial instance of a template |
| UTAP::IterationStatement | Statement class for the iterator loop-construction |
| UTAP::NoParentException | |
| UTAP::NotSupportedException | |
| UTAP::ParserBuilder | The ParserBuilder interface is used by the parser to output the parsed system |
| UTAP::Partitioner | Partitions the system into environment and IUT according to TRON assumptions |
| UTAP::position_t | |
| UTAP::Positions | A container for information about lines and positions in the input file |
| UTAP::Positions::line_t | |
| UTAP::PositionTracker | Help class used by the lexer, parser and xmlreader to keep track of the current position |
| UTAP::PrettyPrinter | |
| UTAP::print< T > | Print -- template for pretty printing lists |
| UTAP::progress_t | |
| UTAP::range_t | An integer range |
| UTAP::ReturnStatement | |
| UTAP::SignalFlow | Class SignalFlow is for analysing UPPAAL specifications and extracting the timed automata input/output "interface" information which can be treated as a data flow or entity-relationship map of the system |
| UTAP::SignalFlow::less_str | |
| UTAP::SignalFlow::proc_t | |
| UTAP::state_t | Information about a location |
| UTAP::Statement | |
| UTAP::StatementBuilder | Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system |
| UTAP::StatementVisitor | |
| UTAP::SwitchStatement | |
| UTAP::symbol_t | A reference to a symbol |
| UTAP::SystemBuilder | This class constructs a TimedAutomataSystem |
| UTAP::SystemVisitor | |
| UTAP::template_t | Information about a template |
| UTAP::TimedAutomataSystem | |
| UTAP::type_t | A reference to a type |
| UTAP::TypeChecker | A visitor which type checks the system it visits |
| UTAP::TypeException | Exception indicating a type error |
| UTAP::variable_t | Base type for variables, clocks, etc |
| UTAP::WhileStatement |
1.4.7