Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
spot::ltl::atomic_propAtomic propositions
spot::bdd_allocatorManage ranges of variables
spot::bdd_dictMap BDD variables to formulae
spot::bdd_less_thanComparison functor for BDDs
spot::ltl::binopBinary operator
spot::ltl::clone_visitorClone a formula
spot::ltl::const_visitorFormula visitor that cannot modify the formula
spot::ltl::constantA constant (True or False)
spot::ltl::default_environmentA laxist environment
spot::emptiness_checkCheck whether the language of an automate is empty
spot::emptiness_check::connected_component
spot::emptiness_check::connected_component_set
spot::ltl::environmentAn environment that describes atomic propositions
spot::ltl::formulaAn LTL formula
spot::gspn_eesrg_interface
spot::gspn_environment
spot::gspn_exeptionAn exeption used to forward GSPN errors
spot::gspn_interface
yy::LocationAbstract a Location
spot::magic_searchEmptiness check on spot::tgba_tba_proxy automata using the Magic Search algorithm
spot::magic_search::magicRecords whether a state has be seen with the magic bit on or off
spot::magic_search::magic_stateA state for the spot::magic_search algorithm
spot::minato_isopGenerate an irredundant sum-of-products (ISOP) form of a BDD function
spot::minato_isop::local_varsInternal variables for minato_isop
spot::ltl::multopMulti-operand operators
spot::ltl::multop::paircmpComparison functor used internally by ltl::multop
yy::PositionAbstract a Position
spot::ltl::postfix_visitorApply an algorithm on each node of an AST, during a postfix traversal
spot::ptr_hash< T >A hash function for pointers
spot::ltl::ref_formulaA reference-counted LTL formula
yy::Slice< T, S >
yy::Stack< T, S >
spot::stateAbstract class for states
spot::state_bddA state whose representation is a BDD
spot::state_explicitStates used by spot::tgba_explicit
spot::state_productA state for spot::tgba_product
spot::state_ptr_equalAn Equivalence Relation for state*
spot::state_ptr_hashHash Function for state*
spot::state_ptr_less_thanStrict Weak Ordering for state*
spot::string_hashA hash function for strings
spot::tgbaA Transition-based Generalized Büchi Automaton
spot::tgba_bdd_concreteA concrete spot::tgba implemented using BDDs
spot::tgba_bdd_concrete_factoryHelper class to build a spot::tgba_bdd_concrete object
spot::tgba_bdd_core_dataCore data for a TGBA encoded using BDDs
spot::tgba_bdd_factoryAbstract class for spot::tgba_bdd_concrete factories
spot::tgba_explicitExplicit representation of a spot::tgba
spot::tgba_explicit::transitionExplicit transitions (used by spot::tgba_explicit)
spot::tgba_explicit_succ_iteratorSuccessor iterators used by spot::tgba_explicit
spot::tgba_gspn
spot::tgba_gspn_eesrg
spot::tgba_productA lazy product. (States are computed on the fly.)
spot::tgba_reachable_iteratorIterate over all reachable states of a spot::tgba
spot::tgba_reachable_iterator_breadth_firstAn implementation of spot::tgba_reachable_iterator that browses states breadth first
spot::tgba_reachable_iterator_depth_firstAn implementation of spot::tgba_reachable_iterator that browses states depth first
spot::tgba_succ_iteratorIterate over the successors of a state
spot::tgba_succ_iterator_concreteA concrete iterator over successors of a TGBA state
spot::tgba_succ_iterator_productIterate over the successors of a product computed on the fly
spot::tgba_tba_proxyDegeneralize a spot::tgba on the fly
spot::ltl::unabbreviate_logic_visitorClone and rewrite a formula to remove most of the abbreviated logical operators
spot::ltl::unabbreviate_ltl_visitorClone and rewrite a formula to remove most of the abbreviated LTL and logical operators
spot::ltl::unopUnary operator
spot::ltl::visitorFormula visitor that can modify the formula

Generated on Tue Jan 13 18:20:26 2004 for spot by doxygen 1.3.5