spot  2.4.3
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_edge_iterator< Graph >
 Cspot::internal::all_trans< Graph >
 Cspot::automaton_parser_options
 Cspot::automaton_stream_parserParse a stream of automata
 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 >
 Ctlyy::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 twa_run::steps
 Cbinary_function
 Cspot::bitvectA bit vector
 Cspot::bitvect_array
 Cspot::internal::boxed_label< Data, boxed >
 Choayy::parser::by_typeType access provider for token (enum) based symbols
 Ctlyy::parser::by_typeType access provider for token (enum) based symbols
 Cspot::scc_stack_ta::connected_component
 Cspot::scc_stack::connected_component
 Cspot::internal::const_universal_dests
 Cspot::couvreur99_check_statusThe status of the emptiness-check on success
 CData
 Cspot::enumerate_cycles::dfs_entry
 Cspot::digraph< State_Data, Edge_Data >A directed graph
 Cspot::digraph< kripke_graph_state, void >
 Cspot::digraph< twa_graph_state, twa_graph_edge_data >
 CEdge_Data
 Cspot::internal::edge_iterator< Graph >
 Cspot::emptiness_check_instantiatorDynamically create emptiness checks. Given their name and options
 Cspot::emptiness_check_resultThe result of an emptiness check
 Cenable_shared_from_this
 Cspot::enumerate_cyclesEnumerate elementary cycles in a SCC
 Cspot::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::fnodeActual storage for formula nodes
 Cspot::formater
 Cspot::formulaMain class for temporal logic formula
 Cspot::formula::formula_child_iteratorAllow iterating over children
 Cspot::formula_ptr_less_than_bool_first
 Cstd::hash< spot::acc_cond::mark_t >
 Cstd::hash< spot::formula >
 Cspot::hoa_abort
 Cspot::isomorphism_checkerCheck if two automata are isomorphic
 Cspot::internal::keep_all
 Cspot::internal::keep_inner_scc
 Cspot::language_containment_checkerCheck containment between LTL formulae
 Cspot::ltsmin_model
 Cspot::internal::mark_container
 Cspot::internal::mark_iterator
 Cspot::acc_cond::mark_t
 Cspot::mark_tools
 Cspot::minato_isopGenerate an irredundant sum-of-products (ISOP) form of a BDD function
 Cminmax_t
 Cspot::multiple_size_poolA multiple-size memory pool implementation
 Cspot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
 Cspot::random_formula::op_proba
 Cspot::option_mapManage a map of options
 Cspot::outedge_combinerHelper class combine outgoing edges in alternating automata
 Cspot::pair_hash
 Cspot::parsed_autResult of the automaton parser
 Cspot::parsed_formulaThe result of a formula parser
 Choayy::parserA Bison parser
 Ctlyy::parserA Bison parser
 Cspot::postprocessorWrap TGBA/BA/Monitor post-processing algorithms in an easy interface
 Cspot::power_map
 Cspot::printable
 Choayy_support::result_::prop_info
 Cspot::randltlgenerator
 Cspot::random_formulaBase class for random formula generators
 Cspot::remove_ap
 Choayy_support::result_
 Cspot::acc_cond::rs_pairRabin/streett pairs used by is_rabin_like and is_streett_like
 Cspot::rs_pairs_view
 Cruntime_error
 Cspot::satsolverInterface with a SAT solver
 Cspot::internal::scc_edge_iterator< Graph, Filter >
 Cspot::internal::scc_edges< Graph, Filter >
 Cspot::scc_infoCompute an SCC map and gather assorted information
 Cspot::scc_info_nodeStorage for SCC related information
 Cspot::scc_stack
 Cspot::scc_stack_ta
 Choayy::parser::semantic_typeSymbol semantic values
 Ctlyy::parser::semantic_typeSymbol semantic values
 Choayy::slice< T, S >Present a slice of the top of a stack
 Ctlyy::slice< T, S >Present a slice of the top of a stack
 Choayy::stack< T, S >
 Ctlyy::stack< T, S >
 Choayy::stack< stack_symbol_type >
 Ctlyy::stack< stack_symbol_type >
 Cspot::twa_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::twa_run::step
 Cspot::stopwatchA simple stopwatch
 Cspot::internal::succ_iteratorHelper structure to iterate over the successor of a state using the on-the-fly interface
 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::time_infoA structure to record elapsed time in clock ticks
 Cspot::timer
 Cspot::timer_mapA map of timer, where each timer has a name
 Cspot::tl_simplifierRewrite or simplify f in various ways
 Cspot::tl_simplifier_options
 Cspot::couvreur99_check_shy::todo_item
 Choayy::parser::tokenTokens
 Ctlyy::parser::tokenTokens
 Cspot::state_ta_explicit::transitionExplicit transitions
 Cspot::taa_tgba::transitionExplicit transitions
 Cspot::trivalA class implementing Kleene's three-valued logic
 Ctuple
 Cspot::twa_graph_edge_data
 Cspot::twa_reachable_iteratorIterate over all reachable states of a spot::tgba
 Cspot::twa_reachable_iterator_depth_firstIterate over all states of an automaton using a DFS
 Cspot::twa_runAn accepted run, for a twa
 Cspot::twa_statistics
 Cspot::internal::twa_succ_iterableHelper class to iterate over the successor of a state using the on-the-fly interface
 Cspot::twa_succ_iteratorIterate over the successors of a state
 Cspot::twa_wordAn infinite word stored as a lasso
 Cspot::unabbreviatorClone and rewrite a formula to remove specified operators logical operators
 Cunary_function
 Cspot::internal::univ_dest_mapper< G >
 Cspot::unsigned_statistics
 Cvector
 CBase

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Dec 19 2017 09:23:02 for spot by doxygen 1.8.13