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 |