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

- h -

• has() : spot::formater
• has_lbt_atomic_props() : spot::fnode, spot::formula
• 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, spot::formula
• has_streett_shape() : spot::acd, spot::zielonka_tree
• has_unary_ops() : spot::random_formula
• hash() : spot::kripke_graph_state, spot::set_state, spot::state, spot::state_product, spot::state_ta_explicit, spot::state_ta_product, spot::twa_graph_state
• heuristic_livelock_detection() : spot::ta_check
• highlight() : spot::twa_run
• hoa_alias_formater() : spot::hoa_alias_formater