libutap
|
▼NUTAP | |
CAbstractBuilder | |
CAbstractStatementVisitor | |
CAssertStatement | |
CBlockStatement | |
Cbranchpoint_t | Information about a branchpoint |
CBreakStatement | |
CCaseStatement | |
Cchan_priority_t | Channel priority information |
CCollectChangesVisitor | |
CCollectDependenciesVisitor | |
CCollectDynamicExpressions | |
Ccompare_simregion | |
CCompileTimeComputableValues | Visitor which collects all compile time computable symbols |
Ccondition_t | Information about a condition |
CContinueStatement | |
Ccut_t | |
Cdeclarations_t | |
CDefaultStatement | |
CDistanceCalculator | DistanceCalculator is used in TargetFirst heuristic search order of Uppaal |
CDoWhileStatement | |
Cedge_t | Information about an edge |
CEmptyStatement | |
Cerror_t | |
Cexpression_t | A reference to an expression |
▼CExpressionBuilder | Partial implementation of the builder interface: The ExpressionBuilder implements all expression related methods |
CExpressionFragments | |
CTypeFragments | |
CExpressionVisitor | |
CExprStatement | |
CForStatement | |
Cframe_t | A reference to a frame |
Cfunction_t | Information about a function |
Cgantt_t | Gantt chart entry |
Cganttmap_t | Gantt map bool expr -> int expr that can be expanded |
CIfStatement | |
Cinstance_t | Partial instance of a template |
CinstanceLine_t | Information about an instance line |
Ciodecl_t | |
CIterationStatement | Statement class for the iterator loop-construction |
Cmessage_t | Information about a message |
CNoParentException | |
CNotSupportedException | |
CParserBuilder | The ParserBuilder interface is used by the parser to output the parsed system |
CPartitioner | Partitions the system into environment and IUT according to TRON assumptions |
Cposition_t | |
▼CPositions | A container for information about lines and positions in the input file |
Cline_t | |
CPositionTracker | Help class used by the lexer, parser and xmlreader to keep track of the current position |
CPrettyPrinter | |
Cprint | Print – template for pretty printing lists |
Cprogress_t | |
Cquery_t | |
Crange_t | An integer range |
CReturnStatement | |
CSBMLConverter | |
▼CSignalFlow | 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 |
Cless_str | |
Cproc_t | |
Csimregion_t | |
Cstate_t | Information about a location |
CStatement | |
CStatementBuilder | Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system |
CStatementVisitor | |
CSwitchStatement | |
Csymbol_t | A reference to a symbol |
CSystemBuilder | This class constructs a TimedAutomataSystem |
CSystemVisitor | |
Ctemplate_t | |
CTimedAutomataSystem | |
Ctype_t | A reference to a type |
CTypeChecker | A visitor which type checks the system it visits |
CTypeException | Exception indicating a type error |
Cupdate_t | Information about an update |
Cvariable_t | Base type for variables, clocks, etc |
CWhileStatement | |
CXMLWriter | |
CSBMLtoXMLWriter |