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

- h -

• h : spot::couvreur99_check_status
• has() : spot::acc_cond::mark_t, spot::formater
• has_false : spot::mtdfa_stats
• has_lbt_atomic_props() : spot::fnode
• has_many() : spot::acc_cond::mark_t
• has_parity_shape() : spot::acd, spot::zielonka_tree
• has_rabin_shape() : spot::acd, spot::zielonka_tree
• has_registered_proposition() : spot::bdd_dict
• has_spin_atomic_props() : spot::fnode
• has_state() : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• has_streett_shape() : spot::acd, spot::zielonka_tree
• has_true : spot::mtdfa_stats
• has_unary_ops() : spot::random_formula
• hash() : spot::acc_cond::mark_t, spot::bitset< N >, spot::bitvect, spot::iterable_uf< State, StateHash, StateEqual >::uf_element_hasher, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher, spot::kripke_graph_state, spot::set_state, spot::state, spot::state_product, spot::twa_graph_state, spot::univ_remover_state
• have_property : spot::spins_interface
• highest() : spot::bitset< N >
• highlight() : spot::twa_run
• highlight_groups : spot::mtdswa
• highlight_nodes : spot::mtdswa
• hoa_alias_formater() : spot::hoa_alias_formater