libutap
|
CUTAP::branchpoint_t | Information about a branchpoint |
CUTAP::chan_priority_t | Channel priority information |
CUTAP::compare_simregion | |
CUTAP::condition_t | Information about a condition |
CUTAP::cut_t | |
▼CUTAP::declarations_t | |
▼CUTAP::BlockStatement | |
CUTAP::CaseStatement | |
CUTAP::DefaultStatement | |
CUTAP::SwitchStatement | |
CUTAP::template_t | |
CUTAP::edge_t | Information about an edge |
CUTAP::error_t | |
▼Cexception | |
CUTAP::NoParentException | |
CUTAP::NotSupportedException | |
CUTAP::expression_t | A reference to an expression |
CUTAP::ExpressionBuilder::ExpressionFragments | |
CUTAP::frame_t | A reference to a frame |
CUTAP::function_t | Information about a function |
CUTAP::gantt_t | Gantt chart entry |
CUTAP::ganttmap_t | Gantt map bool expr -> int expr that can be expanded |
▼CUTAP::instance_t | Partial instance of a template |
CUTAP::instanceLine_t | Information about an instance line |
CUTAP::template_t | |
CUTAP::iodecl_t | |
CUTAP::SignalFlow::less_str | |
CUTAP::Positions::line_t | |
CUTAP::message_t | Information about a message |
▼CUTAP::ParserBuilder | The ParserBuilder interface is used by the parser to output the parsed system |
▼CUTAP::AbstractBuilder | |
▼CUTAP::ExpressionBuilder | Partial implementation of the builder interface: The ExpressionBuilder implements all expression related methods |
▼CUTAP::StatementBuilder | Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system |
CUTAP::SystemBuilder | This class constructs a TimedAutomataSystem |
CUTAP::PrettyPrinter | |
CUTAP::position_t | |
CUTAP::Positions | A container for information about lines and positions in the input file |
CUTAP::PositionTracker | Help 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_t | An integer range |
▼Cruntime_error | |
CUTAP::TypeException | Exception indicating a type error |
CUTAP::SBMLConverter | |
CUTAP::simregion_t | |
CUTAP::state_t | Information about a location |
▼CUTAP::Statement | |
CUTAP::AssertStatement | |
CUTAP::BlockStatement | |
CUTAP::BreakStatement | |
CUTAP::ContinueStatement | |
CUTAP::DoWhileStatement | |
CUTAP::EmptyStatement | |
CUTAP::ExprStatement | |
CUTAP::ForStatement | |
CUTAP::IfStatement | |
CUTAP::IterationStatement | Statement class for the iterator loop-construction |
CUTAP::ReturnStatement | |
CUTAP::WhileStatement | |
▼CUTAP::StatementVisitor | |
▼CUTAP::AbstractStatementVisitor | |
▼CUTAP::ExpressionVisitor | |
CUTAP::CollectChangesVisitor | |
CUTAP::CollectDependenciesVisitor | |
CUTAP::CollectDynamicExpressions | |
CUTAP::TypeChecker | A visitor which type checks the system it visits |
▼CUTAP::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 |
CUTAP::DistanceCalculator | DistanceCalculator is used in TargetFirst heuristic search order of Uppaal |
CUTAP::Partitioner | Partitions the system into environment and IUT according to TRON assumptions |
CUTAP::symbol_t | A reference to a symbol |
▼CUTAP::SystemVisitor | |
CUTAP::CompileTimeComputableValues | Visitor which collects all compile time computable symbols |
CUTAP::TypeChecker | A visitor which type checks the system it visits |
CUTAP::TimedAutomataSystem | |
CUTAP::type_t | A reference to a type |
CUTAP::ExpressionBuilder::TypeFragments | |
▼Cunary_function | |
CUTAP::print< T > | Print – template for pretty printing lists |
CUTAP::update_t | Information about an update |
CUTAP::variable_t | Base type for variables, clocks, etc |
▼CUTAP::XMLWriter | |
CSBMLtoXMLWriter |