Here is a list of all documented class members with links to the class documentation for each member:

- d -

• datas : spot::to_parity_options
• dealloc() : spot::cspins_state_manager
• deallocate() : spot::fixed_size_pool< Kind >, spot::multiple_size_pool
• debug : spot::automaton_parser_options
• debug_level() : hoayy::parser, tlyy::parser
• debug_level_type : hoayy::parser, tlyy::parser
• debug_stream() : hoayy::parser, tlyy::parser
• declare() : spot::declarative_environment, spot::formater
• decompress() : spot::cspins_state_manager
• defrag_states() : spot::digraph< State_Data, Edge_Data >, spot::twa_graph
• delete_stuttering_and_hole_successors() : spot::state_ta_explicit
• destroy() : spot::fnode, spot::kripke_graph_state, spot::state, spot::state_product, spot::state_ta_explicit, spot::twa_graph_state, tlyy::parser::value_type
• dests_vector() : spot::digraph< State_Data, Edge_Data >
• determine_unknown_acceptance() : spot::scc_info
• dict_ : spot::twa
• digraph() : spot::digraph< State_Data, Edge_Data >
• display() : spot::cubeset
• done() : spot::kripke_graph_succ_iterator< Graph >, spot::ta_explicit_succ_iterator, spot::ta_succ_iterator_product, spot::taa_succ_iterator, spot::tgta_succ_iterator_product, spot::trans_index, spot::twa_graph_succ_iterator< Graph >, spot::twa_succ_iterator
• dot() : spot::acd, spot::zielonka_tree
• drop_false_edges : spot::automaton_parser_options
• dst() : spot::kripke_graph_succ_iterator< Graph >, spot::ta_explicit_succ_iterator, spot::ta_succ_iterator_product, spot::taa_succ_iterator, spot::tgta_succ_iterator_product, spot::twa_graph_succ_iterator< Graph >, spot::twa_succ_iterator
• dump() : spot::bdd_dict, spot::cubeset, spot::fnode, spot::formula
• dump_priorities() : spot::random_formula
• dump_storage() : spot::digraph< State_Data, Edge_Data >
• dump_storage_as_dot() : spot::digraph< State_Data, Edge_Data >, spot::twa_graph