spot  2.1.1
 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 >
 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::clause_counter
 Cspot::scc_stack_ta::connected_component
 Cspot::scc_stack::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 >A directed graph
 Cspot::digraph< kripke_graph_state, void >
 CEdge_Data
 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
 Citerator
 Cspot::language_containment_checkerCheck containment between LTL formulae
 Cspot::ltsmin_model
 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::pair_hash
 Cspot::parsed_autResult of the automaton parser
 Cspot::parsed_formulaThe result of a formula parser
 Ctlyy::parserA Bison parser
 Choayy::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::twa::prop_setA structure for selecting a set of automaton properties to copy
 Cspot::randltlgenerator
 Cspot::random_formulaBase class for random formula generators
 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
 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 >
 Ctlyy::stack< stack_symbol_type >
 Choayy::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::timerA timekeeper that accumulate interval of time
 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::unsigned_statistics
 Cspot::unsigned_statistics_copyComparable statistics
 Cvector
 CBase

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Sep 20 2016 07:13:05 for spot by doxygen 1.8.8