Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
Directories
|
File List
|
Namespace Members
|
Class Members
|
File Members
libutap Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
UTAP::AbstractBuilder
UTAP::AbstractStatementVisitor
UTAP::BlockStatement
UTAP::BreakStatement
UTAP::CaseStatement
UTAP::chan_priority_t
Channel priority information
UTAP::CollectChangesVisitor
UTAP::CollectDependenciesVisitor
UTAP::CompileTimeComputableValues
Visitor which collects all compile time computable symbols
UTAP::ContinueStatement
UTAP::declarations_t
Structure holding declarations of various types
UTAP::DefaultStatement
UTAP::DoWhileStatement
UTAP::edge_t
Information about an edge
UTAP::EmptyStatement
UTAP::error_t
UTAP::expression_t
A reference to an expression
UTAP::ExpressionBuilder
Partial 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_t
A reference to a frame
UTAP::function_t
Information about a function
UTAP::IfStatement
UTAP::instance_t
Partial instance of a template
UTAP::IOInterface
The system must be built by TypeChecker/SystemBuilder before
IOInterface
UTAP::IOInterface::iota_t
UTAP::IOInterface::less_str
UTAP::IterationStatement
Statement
class for the iterator loop-construction
UTAP::NoParentException
UTAP::NotSupportedException
UTAP::ParserBuilder
The
ParserBuilder
interface is used by the parser to output the parsed system
UTAP::PersistentVariables
Visitor which collects the persistent variables of the system
UTAP::position_t
UTAP::Positions
A container for information about lines and positions in the input file
UTAP::Positions::line_t
UTAP::PositionTracker
Help class used by the lexer, parser and xmlreader to keep track of the current position
UTAP::PrettyPrinter
UTAP::progress_t
UTAP::range_t
An integer range
UTAP::ReturnStatement
UTAP::state_t
Information about a location
UTAP::Statement
UTAP::StatementVisitor
UTAP::SwitchStatement
UTAP::symbol_t
A reference to a symbol
UTAP::SystemBuilder
This class constructs a
TimedAutomataSystem
UTAP::SystemVisitor
UTAP::template_t
Information about a template
UTAP::TimedAutomataSystem
UTAP::type_t
A reference to a type
UTAP::TypeChecker
A visitor which type checks the system it visits
UTAP::TypeException
Exception indicating a type error
UTAP::variable_t
Base type for variables, clocks, etc
UTAP::WhileStatement
Generated on Sat Apr 29 21:02:14 2006 for libutap by
1.4.2