libutap
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12345]
 CUTAP::branchpoint_tInformation about a branchpoint
 CUTAP::chan_priority_tChannel priority information
 CUTAP::compare_simregion
 CUTAP::condition_tInformation about a condition
 CUTAP::cut_t
 CUTAP::declarations_t
 CUTAP::BlockStatement
 CUTAP::CaseStatement
 CUTAP::DefaultStatement
 CUTAP::SwitchStatement
 CUTAP::template_t
 CUTAP::edge_tInformation about an edge
 CUTAP::error_t
 Cexception
 CUTAP::NoParentException
 CUTAP::NotSupportedException
 CUTAP::expression_tA reference to an expression
 CUTAP::ExpressionBuilder::ExpressionFragments
 CUTAP::frame_tA reference to a frame
 CUTAP::function_tInformation about a function
 CUTAP::gantt_tGantt chart entry
 CUTAP::ganttmap_tGantt map bool expr -> int expr that can be expanded
 CUTAP::instance_tPartial instance of a template
 CUTAP::instanceLine_tInformation about an instance line
 CUTAP::template_t
 CUTAP::iodecl_t
 CUTAP::SignalFlow::less_str
 CUTAP::Positions::line_t
 CUTAP::message_tInformation about a message
 CUTAP::ParserBuilderThe ParserBuilder interface is used by the parser to output the parsed system
 CUTAP::AbstractBuilder
 CUTAP::ExpressionBuilderPartial implementation of the builder interface: The ExpressionBuilder implements all expression related methods
 CUTAP::StatementBuilderPartial implementation of the builder interface, useful for building something with statements that is not a UTAP system
 CUTAP::SystemBuilderThis class constructs a TimedAutomataSystem
 CUTAP::PrettyPrinter
 CUTAP::position_t
 CUTAP::PositionsA container for information about lines and positions in the input file
 CUTAP::PositionTrackerHelp class used by the lexer, parser and xmlreader to keep track of the current position
 CUTAP::SignalFlow::proc_t
 CUTAP::progress_t
 CUTAP::query_t
 CUTAP::range_tAn integer range
 Cruntime_error
 CUTAP::TypeExceptionException indicating a type error
 CUTAP::SBMLConverter
 CUTAP::simregion_t
 CUTAP::state_tInformation about a location
 CUTAP::Statement
 CUTAP::AssertStatement
 CUTAP::BlockStatement
 CUTAP::BreakStatement
 CUTAP::ContinueStatement
 CUTAP::DoWhileStatement
 CUTAP::EmptyStatement
 CUTAP::ExprStatement
 CUTAP::ForStatement
 CUTAP::IfStatement
 CUTAP::IterationStatementStatement class for the iterator loop-construction
 CUTAP::ReturnStatement
 CUTAP::WhileStatement
 CUTAP::StatementVisitor
 CUTAP::AbstractStatementVisitor
 CUTAP::ExpressionVisitor
 CUTAP::CollectChangesVisitor
 CUTAP::CollectDependenciesVisitor
 CUTAP::CollectDynamicExpressions
 CUTAP::TypeCheckerA visitor which type checks the system it visits
 CUTAP::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
 CUTAP::DistanceCalculatorDistanceCalculator is used in TargetFirst heuristic search order of Uppaal
 CUTAP::PartitionerPartitions the system into environment and IUT according to TRON assumptions
 CUTAP::symbol_tA reference to a symbol
 CUTAP::SystemVisitor
 CUTAP::CompileTimeComputableValuesVisitor which collects all compile time computable symbols
 CUTAP::TypeCheckerA visitor which type checks the system it visits
 CUTAP::TimedAutomataSystem
 CUTAP::type_tA reference to a type
 CUTAP::ExpressionBuilder::TypeFragments
 Cunary_function
 CUTAP::print< T >Print – template for pretty printing lists
 CUTAP::update_tInformation about an update
 CUTAP::variable_tBase type for variables, clocks, etc
 CUTAP::XMLWriter
 CSBMLtoXMLWriter