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::CollectChangesVisitor
UTAP::ContextVisitorExtension of SystemVisitor which tracks the context
UTAP::ContinueStatement
UTAP::declarations_tStructure holding declarations of various types
UTAP::DefaultStatement
UTAP::DoWhileStatement
UTAP::edge_tInformation about an edge
UTAP::EmptyStatement
UTAP::ErrorHandler
UTAP::ErrorHandler::error_t
UTAP::expression_tA reference to an expression
UTAP::ExpressionBuilder
UTAP::ExpressionBuilder::ExpressionFragments
UTAP::ExprStatement
UTAP::ForStatement
UTAP::frame_tA reference to a frame
UTAP::function_tInformation about a function
UTAP::IfStatement
UTAP::instance_t
UTAP::Interpreter
UTAP::InterpreterException
UTAP::NoParentException
UTAP::NotSupportedException
other_mem_fun_t< ReturnType, CalleeType, ArgType >
UTAP::ParserBuilderThe ParserBuilder interface is used by the parser to output the parsed system
UTAP::PersistentVariablesVisitor which collects the persistent variables of the system
UTAP::position_t
UTAP::PrettyPrinter
UTAP::process_tInformation about a process
UTAP::progress_t
UTAP::range_tAn integer range
UTAP::RangeCheckerA RangeChecker object is an oracle for predicting ranges of integer expressions and declared ranges of symbols
UTAP::ReturnStatement
UTAP::state_tInformation about a location
UTAP::Statement
UTAP::StatementVisitor
UTAP::SwitchStatement
UTAP::symbol_tA reference to a symbol
UTAP::SystemBuilderThis class constructs a TimedAutomataSystem
UTAP::SystemVisitor
UTAP::template_tInformation about a template
UTAP::TimedAutomataSystem
UTAP::type_tA reference to a type
UTAP::TypeCheckerA visitor which type checks the system it visits
UTAP::TypeExceptionException indicating a type error
UTAP::UndefinedRangeException
UTAP::variable_tBase type for variables, clocks, etc
UTAP::WhileStatement
UTAP::XPath

Generated on Thu Feb 17 15:20:58 2005 for libutap by  doxygen 1.4.1