spot  1.2.1a
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 1234]
 Cspot::acc_dict
 Cspot::ap_dictThis class is used to create a dictionary that will contain all atomic propositions that are needed by an (and possibly many) automaton
 Cspot::barand< gen >Compute pseudo-random integer value between 0 and n included, following a binomial distribution for probability p
 Cspot::bdd_dictMap BDD variables to formulae
 Cspot::bdd_dict::bdd_info
 Cspot::bdd_ordered
 Cspot::bfs_stepsMake a BFS in a spot::tgba to compute a tgba_run::steps
 Cbinary_function
 Cspot::bitvectA bit vector
 Cspot::bitvect_array
 Cspot::clause_counter
 Cspot::scc_stack::connected_component
 Cspot::scc_stack_ta::connected_component
 Cspot::couvreur99_check_statusThe status of the emptiness-check on success
 Cspot::cubeThis class represents conjunction of variables
 Cspot::deadstoreThis class represent a dead store. For now it's just a set but it can be combined with bitstate hasing
 Cspot::destroy_key< T >
 Cspot::destroy_key< const ltl::formula * >
 Cspot::tarjanunioncheck::dfs_element
 Cspot::enumerate_cycles::dfs_entry
 Cspot::dotty_decoratorChoose state and link styles for spot::dotty_reachable
 Cspot::dstar_autTemporary encoding of an omega automaton produced by ltl2dstar
 Cspot::ec
 Cspot::emptiness_checkCommon interface to emptiness check algorithms
 Cspot::emptiness_check_instantiator
 Cspot::emptiness_check_resultThe result of an emptiness check
 Cspot::enumerate_cyclesEnumerate elementary cycles in a SCC
 Cspot::ltl::environmentAn environment that describes atomic propositions
 Cspot::explicit_connected_component_factoryAbstract factory for explicit_connected_component
 Cspot::fasttgba
 Cspot::fasttgba_stateThis class act as an interface for all classes
 Cspot::fasttgba_succ_iteratorIterate over the successors of a state
 Cspot::fixed_size_poolA fixed-size memory pool implementation
 Cspot::formater
 Cspot::ltl::formulaAn LTL formula
 Cspot::generic_dfs
 Cspot::generic_stack
 Cgraph
 Cspot::gspn_exceptionAn exception used to forward GSPN errors
 Cspot::gspn_interface
 Cspot::gspn_ssp_interface
 Chash_map
 Cspot::instance_automatonA simple wrapper for an automaton
 Cspot::instanciator
 Cjob
 Cjob_processor
 Cspot::ltl::language_containment_checkerCheck containment between LTL formulae
 Cspot::compressed_stack_of_lowlink::ll_elt
 Cspot::ltl::ltl_fileRead LTL formulae from a file, one by one
 Cspot::ltl::formula::ltl_prop
 Cspot::ltl::ltl_simplifierRewrite or simplify f in various ways
 Cspot::ltl::ltl_simplifier_options
 Cspot::ltl::mark_tools
 Cspot::marksetThis class represents a set of acceptance marks
 Cspot::minato_isopGenerate an irredundant sum-of-products (ISOP) form of a BDD function
 Cspot::multiple_size_poolA multiple-size memory pool implementation
 Cspot::ltl::nfaNondeterministic Finite Automata used by automata operators
 Cspot::ltl::formula_tree::node
 Cspot::numbered_state_heapKeep track of a large quantity of indexed states
 Cspot::numbered_state_heap_const_iteratorIterator on numbered_state_heap objects
 Cspot::numbered_state_heap_factoryAbstract factory for numbered_state_heap
 Cspot::ltl::random_formula::op_proba
 Cspot::openset
 Cspot::option_mapManage a map of options
 Cspot::opt_dijkstra_scc::pair_state_iter
 Cspot::opt_ndfs::pair_state_iter
 Cspot::opt_tarjan_scc::pair_state_iter
 Cspot::stats::pair_state_iter
 Cspot::union_scc::pair_state_iter
 Cspot::unioncheck::pair_state_iter
 Cspot::dijkstra_scc::pair_state_iter
 Cspot::dijkstracheck::pair_state_iter
 Cspot::tarjan_scc::pair_state_iter
 Cspot::lazycheck::pair_state_iter
 Cspot::ltl::multop::paircmpComparison functor used internally by ltl::multop
 Cspot::postprocessorWrap TGBA/BA/Monitor post-processing algorithms in an easy interface
 Cspot::power_map
 Cspot::printable
 Cspot::ltl::random_formulaBase class for random formula generators
 Crange
 Cspot::sabaA State-based Alternating (Generalized) Büchi Automaton
 Cspot::saba_reachable_iteratorIterate over all reachable states of a spot::saba
 Cspot::saba_stateAbstract class for saba states
 Cspot::saba_state_conjunctionIterate over a conjunction of saba_state
 Cspot::saba_succ_iteratorIterate over the successors of a saba_state
 Cspot::scc_map::scc
 Cspot::scc_decompose
 Cspot::scc_mapBuild a map of Strongly Connected components in in a TGBA
 Cspot::scc_stack
 Cspot::scc_stack_ta
 Cspot::scc_stats
 Cspot::sccs_set
 Cspot::sharedhashtable
 Cspot::stats::stack_entry
 Cspot::tarjan_scc::stack_entry
 Cspot::lazycheck::stack_entry
 Cspot::tgba_reachable_iterator_depth_first::stack_item
 Cspot::stack_of_lowlink
 Cspot::stack_of_roots
 Cspot::generic_stack::stack_pair
 Cspot::compressed_generic_stack::stack_pair
 Cspot::stateAbstract class for states
 Cspot::enumerate_cycles::state_info
 Cspot::stats::stats_entryStructure to store stats about the product
 Cspot::tgba_run::step
 Cspot::ltl::succ_iterator
 Cspot::couvreur99_check_shy::successor
 Cspot::taA Testing Automaton
 Cspot::ta_reachable_iteratorIterate over all reachable states of a spot::ta
 Cspot::ta_statistics
 Cspot::tgbaA Transition-based Generalized Büchi Automaton
 Cspot::tgba_bdd_core_dataCore data for a TGBA encoded using BDDs
 Cspot::tgba_bdd_factoryAbstract class for spot::tgba_bdd_concrete factories
 Cspot::tgba_reachable_iteratorIterate over all reachable states of a spot::tgba
 Cspot::tgba_reachable_iterator_depth_firstIterate over all states of an automaton using a DFS
 Cspot::tgba_runAn accepted run, for a tgba
 Cspot::tgba_statistics
 Cspot::tgba_succ_iteratorIterate over the successors of a state
 Cspot::tgba_wordAn infinite word stored as a lasso
 Cspot::time_infoA structure to record elapsed time in clock ticks
 Cspot::timerA timekeeper that accumulate interval of time
 Cspot::timer_mapA map of timer, where each timer has a name
 Cspot::couvreur99_check_shy::todo_item
 Cspot::transitionStructure that will store the successors of a state
 Cspot::state_ta_explicit::transitionExplicit transitions
 Cspot::state_explicit< Label, label_hash >::transition
 Cspot::ltl::nfa::transitionExplicit transitions
 Cspot::taa_tgba::transitionExplicit transitions
 Cspot::ltl::automatop::tripletcmpComparison functor used internally by ltl::automatop
 Cspot::uf
 Cunary_function
 Cspot::union_find
 Cspot::unique_ptr< T >Take ownership of a pointer at its construction, and destroy it at the end of the scope
 Cspot::unsigned_statistics
 Cspot::unsigned_statistics_copyComparable statistics
 Cspot::ltl::visitorFormula visitor
 Cspot::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 Fri Jun 5 2015 11:31:24 for spot by doxygen 1.8.9.1