spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 1234]
oCspot::barand< gen >Compute pseudo-random integer value between 0 and n included, following a binomial distribution for probability p
oCspot::bdd_dictMap BDD variables to formulae
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::bitvectA bit vector
oCspot::bitvect_array
oCspot::clause_counter
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::dstar_autTemporary encoding of an omega automaton produced by ltl2dstar
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
oCgraph
oCspot::gspn_exceptionAn exception used to forward GSPN errors
oCspot::gspn_interface
oCspot::gspn_ssp_interface
oChash_map
oCjob
oCjob_processor
oCspot::ltl::language_containment_checkerCheck containment between LTL formulae
oCltlyy::locationAbstract a location
oCneverclaimyy::locationAbstract a location
oCkripkeyy::locationAbstract a location
oCtgbayy::locationAbstract a location
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
oCltlyy::positionAbstract a position
oCneverclaimyy::positionAbstract a position
oCtgbayy::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::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::satsolverInterface with a SAT solver
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
oCspot::tgba_reachable_iterator_depth_first::stack_item
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_reachable_iterator_depth_firstIterate over all states of an automaton using a DFS
oCspot::tgba_runAn accepted run, for a tgba
oCspot::tgba_statistics
oCspot::tgba_succ_iteratorIterate over the successors of a state
oCspot::tgba_wordAn infinite word stored as a lasso
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::state_ta_explicit::transitionExplicit transitions
oCspot::ltl::nfa::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 Sat Dec 6 2014 12:28:46 for spot by doxygen 1.8.4