libutap Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
UTAP::AbstractBuilder
UTAP::AbstractStatementVisitor
UTAP::AssertStatement
UTAP::BlockStatement
UTAP::BreakStatement
UTAP::CaseStatement
UTAP::chan_priority_tChannel priority information
UTAP::CollectChangesVisitor
UTAP::CollectDependenciesVisitor
UTAP::CompileTimeComputableValuesVisitor which collects all compile time computable symbols
UTAP::ContinueStatement
UTAP::declarations_tStructure holding declarations of various types
UTAP::DefaultStatement
UTAP::DoWhileStatement
UTAP::edge_tInformation about an edge
UTAP::EmptyStatement
UTAP::error_t
UTAP::expression_tA reference to an expression
UTAP::ExpressionBuilderPartial 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_tA reference to a frame
UTAP::function_tInformation about a function
UTAP::IfStatement
UTAP::instance_tPartial instance of a template
UTAP::IterationStatementStatement class for the iterator loop-construction
UTAP::NoParentException
UTAP::NotSupportedException
UTAP::ParserBuilderThe ParserBuilder interface is used by the parser to output the parsed system
UTAP::PartitionerPartitions the system into environment and IUT according to TRON assumptions
UTAP::position_t
UTAP::PositionsA container for information about lines and positions in the input file
UTAP::Positions::line_t
UTAP::PositionTrackerHelp 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_tAn integer range
UTAP::ReturnStatement
UTAP::SignalFlowClass 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_tInformation about a location
UTAP::Statement
UTAP::StatementBuilderPartial implementation of the builder interface, useful for building something with statements that is not a UTAP system
UTAP::StatementVisitor
UTAP::SwitchStatement
UTAP::symbol_tA reference to a symbol
UTAP::SystemBuilderThis class constructs a TimedAutomataSystem
UTAP::SystemVisitor
UTAP::template_tInformation about a template
UTAP::TimedAutomataSystem
UTAP::type_tA reference to a type
UTAP::TypeCheckerA visitor which type checks the system it visits
UTAP::TypeExceptionException indicating a type error
UTAP::variable_tBase type for variables, clocks, etc
UTAP::WhileStatement

Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7