- d -

• dealloc() : spot::cspins_state_manager
• deallocate() : spot::fixed_size_pool< Kind > , spot::multiple_size_pool
• dec_depth() : spot::ec_statistics
• declare() : spot::declarative_environment , spot::formater
• decompress() : spot::cspins_state_manager
• defrag_states() : spot::digraph< State_Data, Edge_Data > , spot::twa_graph
• depth() : spot::ec_statistics
• destroy() : spot::fnode , spot::kripke_graph_state , spot::state , spot::state_product , spot::twa_graph_state
• dests_vector() : spot::digraph< State_Data, Edge_Data >
• determine_unknown_acceptance() : spot::scc_info
• determine_usefulness() : spot::scc_info
• dfs_entry() : spot::enumerate_cycles::dfs_entry
• digraph() : spot::digraph< State_Data, Edge_Data >
• display() : spot::cubeset
• do_degen() : spot::postprocessor
• do_degen_tba() : spot::postprocessor
• do_sba_simul() : spot::postprocessor
• do_scc_filter() : spot::postprocessor
• do_simul() : spot::postprocessor
• done() : spot::cspins_iterator , spot::kripke_graph_succ_iterator< Graph > , spot::taa_succ_iterator , spot::trans_index , spot::twa_graph_succ_iterator< Graph > , spot::twa_succ_iterator
• dot() : spot::acd , spot::zielonka_tree
• draw_literals() : spot::random_formula
• dst() : spot::kripke_graph_succ_iterator< Graph > , spot::taa_succ_iterator , spot::twa_graph_succ_iterator< Graph > , spot::twa_succ_iterator
• dump() : spot::bdd_dict , spot::cubeset , spot::fnode , spot::formula , spot::twa_statistics , spot::twa_sub_statistics
• dump_bool_priorities() : spot::randltlgenerator
• dump_ltl_priorities() : spot::randltlgenerator
• dump_priorities() : spot::random_formula
• dump_psl_priorities() : spot::randltlgenerator
• dump_sere_bool_priorities() : spot::randltlgenerator
• dump_sere_priorities() : spot::randltlgenerator
• dump_storage() : spot::digraph< State_Data, Edge_Data >
• dump_storage_as_dot() : spot::digraph< State_Data, Edge_Data > , spot::twa_graph