libutap
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123]
 NUTAP
 CAbstractBuilder
 CAbstractStatementVisitor
 CAssertStatement
 CBlockStatement
 Cbranchpoint_tInformation about a branchpoint
 CBreakStatement
 CCaseStatement
 Cchan_priority_tChannel priority information
 CCollectChangesVisitor
 CCollectDependenciesVisitor
 CCollectDynamicExpressions
 Ccompare_simregion
 CCompileTimeComputableValuesVisitor which collects all compile time computable symbols
 Ccondition_tInformation about a condition
 CContinueStatement
 Ccut_t
 Cdeclarations_t
 CDefaultStatement
 CDistanceCalculatorDistanceCalculator is used in TargetFirst heuristic search order of Uppaal
 CDoWhileStatement
 Cedge_tInformation about an edge
 CEmptyStatement
 Cerror_t
 Cexpression_tA reference to an expression
 CExpressionBuilderPartial implementation of the builder interface: The ExpressionBuilder implements all expression related methods
 CExpressionFragments
 CTypeFragments
 CExpressionVisitor
 CExprStatement
 CForStatement
 Cframe_tA reference to a frame
 Cfunction_tInformation about a function
 Cgantt_tGantt chart entry
 Cganttmap_tGantt map bool expr -> int expr that can be expanded
 CIfStatement
 Cinstance_tPartial instance of a template
 CinstanceLine_tInformation about an instance line
 Ciodecl_t
 CIterationStatementStatement class for the iterator loop-construction
 Cmessage_tInformation about a message
 CNoParentException
 CNotSupportedException
 CParserBuilderThe ParserBuilder interface is used by the parser to output the parsed system
 CPartitionerPartitions the system into environment and IUT according to TRON assumptions
 Cposition_t
 CPositionsA container for information about lines and positions in the input file
 Cline_t
 CPositionTrackerHelp class used by the lexer, parser and xmlreader to keep track of the current position
 CPrettyPrinter
 CprintPrint – template for pretty printing lists
 Cprogress_t
 Cquery_t
 Crange_tAn integer range
 CReturnStatement
 CSBMLConverter
 CSignalFlowClass 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
 Cless_str
 Cproc_t
 Csimregion_t
 Cstate_tInformation about a location
 CStatement
 CStatementBuilderPartial implementation of the builder interface, useful for building something with statements that is not a UTAP system
 CStatementVisitor
 CSwitchStatement
 Csymbol_tA reference to a symbol
 CSystemBuilderThis class constructs a TimedAutomataSystem
 CSystemVisitor
 Ctemplate_t
 CTimedAutomataSystem
 Ctype_tA reference to a type
 CTypeCheckerA visitor which type checks the system it visits
 CTypeExceptionException indicating a type error
 Cupdate_tInformation about an update
 Cvariable_tBase type for variables, clocks, etc
 CWhileStatement
 CXMLWriter
 CSBMLtoXMLWriter