spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12345]
 Cspot::acc_cond
 Cspot::acc_cond::acc_word
 Cspot::internal::all_trans< Graph >
 Cautomaton_printer
 Cspot::automaton_stream_parser
 Cspot::barand< gen >Compute pseudo-random integer value between 0 and n included, following a binomial distribution with probability p
 Choayy::parser::basic_symbol< by_state >
 Cspot::bdd_dictMap BDD variables to formulae
 Cspot::bdd_dict::bdd_info
 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::internal::boxed_label< Data, boxed >
 Cspot::bprop
 Choayy::parser::by_typeType access provider for token (enum) based symbols
 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
 CData
 Cspot::enumerate_cycles::dfs_entry
 Cspot::digraph< State_Data, Edge_Data, Alternating >
 Cspot::digraph< twa_graph_state, twa_graph_edge_data >
 CEdge_Data
 Cspot::emptiness_check_instantiator
 Cspot::emptiness_check_resultThe result of an emptiness check
 Cenable_shared_from_this
 Cspot::enumerate_cyclesEnumerate elementary cycles in a SCC
 Cspot::ltl::environmentAn environment that describes atomic propositions
 Cspot::exclusive_ap
 Cspot::internal::first_is_base_of< Of, Args >
 Cspot::internal::first_is_base_of< Of, Arg1, Args...>
 Cspot::fixed_size_poolA fixed-size memory pool implementation
 Cspot::formater
 Cspot::ltl::formulaAn LTL formula
 Cstd::hash< const spot::ltl::formula * >
 Cstd::hash< spot::acc_cond::mark_t >
 Cspot::hoa_abort
 Cspot::isomorphism_checkerCheck if two automata are isomorphic
 Citerator
 Cjob
 Cjob_processor
 Cspot::ltl::language_containment_checkerCheck containment between LTL formulae
 Cspot::ltl::formula::ltl_prop
 Cspot::ltl::ltl_simplifierRewrite or simplify f in various ways
 Cspot::ltl::ltl_simplifier_options
 Cmap
 Cspot::acc_cond::mark_t
 Cspot::ltl::mark_tools
 Cspot::minato_isopGenerate an irredundant sum-of-products (ISOP) form of a BDD function
 Cspot::multiple_size_poolA multiple-size memory pool implementation
 Cspot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
 Cspot::ltl::random_formula::op_proba
 Cspot::option_mapManage a map of options
 Coutput_file
 Cspot::pair_hash
 Cspot::ltl::multop::paircmpComparison functor used internally by ltl::multop
 Cspot::parsed_autTemporary encoding of an omega automaton produced by the parser
 Choayy::parserA Bison parser
 Cspot::postprocessorWrap TGBA/BA/Monitor post-processing algorithms in an easy interface
 Cspot::power_map
 Cspot::printable
 Cspot::prop_set
 Cspot::ltl::randltlgenerator
 Cspot::ltl::random_formulaBase class for random formula generators
 Crange
 Cspot::remove_ap
 Choayy_support::result_
 Cruntime_error
 Cspot::satsolverInterface with a SAT solver
 Cspot::scc_info
 Cspot::scc_info::scc_node
 Cspot::scc_stack
 Cspot::scc_stack_ta
 Choayy::parser::semantic_typeSymbol semantic values
 Choayy::slice< T, S >Present a slice of the top of a stack
 Choayy::stack< T, S >
 Choayy::stack< stack_symbol_type >
 Cspot::tgba_reachable_iterator_depth_first::stack_item
 Cspot::stateAbstract class for states
 CState_Data
 Choayy_support::result_::state_info
 Cspot::enumerate_cycles::state_info
 Cspot::internal::state_out< Graph >
 Cspot::state_ptr_equalAn Equivalence Relation for state*
 Cspot::state_ptr_hashHash Function for state*
 Cspot::state_ptr_less_thanStrict Weak Ordering for state*
 Cspot::state_shared_ptr_equalAn Equivalence Relation for shared_state (shared_ptr<const state*>)
 Cspot::state_shared_ptr_hashHash Function for shared_state (shared_ptr<const state*>)
 Cspot::state_shared_ptr_less_thanStrict Weak Ordering for shared_state (shared_ptr<const state*>)
 Cspot::state_unicity_tableRender state pointers unique via a hash table
 Cspot::tgba_run::step
 Cspot::stopwatchA simple stopwatch
 Cspot::twa::succ_iterable
 Csucc_iterable
 Cspot::internal::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::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_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
 Choayy::parser::tokenTokens
 Cspot::taa_tgba::transitionExplicit transitions
 Cspot::state_ta_explicit::transitionExplicit transitions
 Ctranslator_spec
 Ctuple
 Cspot::twa_graph_edge_data
 Cspot::twa_succ_iteratorIterate over the successors of a state
 Cspot::ltl::unabbreviatorClone and rewrite a formula to remove specified operators logical operators
 Cunary_function
 Cspot::unsigned_statistics
 Cspot::unsigned_statistics_copyComparable statistics
 Cvector
 Cspot::ltl::visitorFormula visitor
 Cspot::weightManage for a given automaton a vector of counter indexed by its acceptance condition
 CBase

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:40 for spot by doxygen 1.8.8