spot  1.1.4
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 1234]
oCspot::acc_complHelper class to convert acceptance conditions into promises
oCspot::acceptance_convertorHelp class to convert between acceptance conditions to other BDD formats
oCspot::barand< gen >Compute pseudo-random integer value between 0 and n included, following a binomial distribution for probability p
oCspot::bdd_dict::bdd_info
oCspot::bdd_ordered
oCspot::bfs_stepsMake a BFS in a spot::tgba to compute a tgba_run::steps
oCbinary_function
oCspot::fixed_size_pool::block_
oCspot::multiple_size_pool::block_
oCspot::fixed_size_pool::chunk_
oCspot::multiple_size_pool::chunk_
oCspot::scc_stack::connected_component
oCspot::scc_stack_ta::connected_component
oCspot::couvreur99_check_statusThe status of the emptiness-check on success
oCspot::destroy_key< T >
oCspot::destroy_key< const ltl::formula * >
oCspot::enumerate_cycles::dfs_entry
oCspot::dotty_decoratorChoose state and link styles for spot::dotty_reachable
oCspot::emptiness_checkCommon interface to emptiness check algorithms
oCspot::emptiness_check_instantiator
oCspot::emptiness_check_resultThe result of an emptiness check
oCspot::enumerate_cyclesEnumerate elementary cycles in a SCC
oCspot::ltl::environmentAn environment that describes atomic propositions
oCspot::explicit_connected_component_factoryAbstract factory for explicit_connected_component
oCspot::fixed_size_poolA fixed-size memory pool implementation
oCspot::formater
oCspot::ltl::formulaAn LTL formula
oCspot::free_listManage list of free integers
oCgraph
oCspot::gspn_exceptionAn exception used to forward GSPN errors
oCspot::gspn_interface
oCspot::gspn_ssp_interface
oCjob
oCjob_processor
oCspot::ltl::language_containment_checker
oCspot::minato_isop::local_varsInternal variables for minato_isop
oCkripkeyy::locationAbstract a location
oCltlyy::locationAbstract a location
oCneverclaimyy::locationAbstract a location
oCeltlyy::locationAbstract a location
oCspot::loopless_modular_mixed_radix_gray_codeLoopless modular mixed radix Gray code iteration
oCspot::ltl::ltl_fileRead LTL formulae from a file, one by one
oCspot::ltl::formula::ltl_prop
oCspot::ltl::ltl_simplifierRewrite or simplify f in various ways
oCspot::ltl::ltl_simplifier_options
oCspot::ltl::mark_tools
oCspot::minato_isopGenerate an irredundant sum-of-products (ISOP) form of a BDD function
oCspot::multiple_size_poolA multiple-size memory pool implementation
oCspot::ltl::nfaNondeterministic Finite Automata used by automata operators
oCspot::ltl::formula_tree::node
oCspot::numbered_state_heapKeep track of a large quantity of indexed states
oCspot::numbered_state_heap_const_iteratorIterator on numbered_state_heap objects
oCspot::numbered_state_heap_factoryAbstract factory for numbered_state_heap
oCspot::ltl::random_formula::op_proba
oCspot::option_mapManage a map of options
oCspot::ltl::multop::paircmpComparison functor used internally by ltl::multop
oCkripkeyy::positionAbstract a position
oCneverclaimyy::positionAbstract a position
oCltlyy::positionAbstract a position
oCeltlyy::positionAbstract a position
oCspot::postprocessorWrap TGBA/BA/Monitor post-processing algorithms in an easy interface
oCspot::power_map
oCspot::printable
oCspot::ltl::random_formulaBase class for random formula generators
oCrange
oCspot::ltl::language_containment_checker::record_
oCspot::sabaA State-based Alternating (Generalized) Büchi Automaton
oCspot::saba_reachable_iteratorIterate over all reachable states of a spot::saba
oCspot::saba_stateAbstract class for saba states
oCspot::saba_state_conjunctionIterate over a conjunction of saba_state
oCspot::saba_succ_iteratorIterate over the successors of a saba_state
oCspot::scc_map::scc
oCspot::scc_mapBuild a map of Strongly Connected components in in a TGBA
oCspot::scc_stack
oCspot::scc_stack_ta
oCspot::scc_stats
oCspot::sccs_set
oCeltlyy::slice< T, S >Present a slice of the top of a stack
oCkripkeyy::slice< T, S >Present a slice of the top of a stack
oCdstaryy::slice< T, S >Present a slice of the top of a stack
oCneverclaimyy::slice< T, S >Present a slice of the top of a stack
oCltlyy::slice< T, S >Present a slice of the top of a stack
oCeltlyy::stack< T, S >
oCdstaryy::stack< T, S >
oCkripkeyy::stack< T, S >
oCneverclaimyy::stack< T, S >
oCltlyy::stack< T, S >
oCspot::stateAbstract class for states
oCspot::enumerate_cycles::state_info
oCspot::tgba_run::step
oCspot::ltl::succ_iterator
oCspot::couvreur99_check_shy::successor
oCspot::taA Testing Automaton
oCspot::ta_reachable_iteratorIterate over all reachable states of a spot::ta
oCspot::ta_statistics
oCspot::tgbaA Transition-based Generalized Büchi Automaton
oCspot::tgba_bdd_core_dataCore data for a TGBA encoded using BDDs
oCspot::tgba_bdd_factoryAbstract class for spot::tgba_bdd_concrete factories
oCspot::tgba_reachable_iteratorIterate over all reachable states of a spot::tgba
oCspot::tgba_runAn accepted run, for a tgba
oCspot::tgba_statistics
oCspot::tgba_succ_iteratorIterate over the successors of a state
oCspot::time_infoA structure to record elapsed time in clock ticks
oCspot::timerA timekeeper that accumulate interval of time
oCspot::timer_mapA map of timer, where each timer has a name
oCspot::couvreur99_check_shy::todo_item
oCspot::taa_tgba::transitionExplicit transitions
oCspot::state_explicit< Label, label_hash >::transition
oCspot::ltl::nfa::transitionExplicit transitions
oCspot::state_ta_explicit::transitionExplicit transitions
oCspot::ltl::automatop::tripletcmpComparison functor used internally by ltl::automatop
oCunary_function
oCspot::unique_ptr< T >Take ownership of a pointer at its construction, and destroy it at the end of the scope
oCspot::unsigned_statistics
oCspot::unsigned_statistics_copyComparable statistics
oCspot::ltl::visitorFormula visitor
oCspot::weightManage for a given automaton a vector of counter indexed by its acceptance condition
\CType

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:28 for spot by doxygen 1.8.4