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

• global_equiv : spot::realizability_simplifier_base
• global_equiv_moore : spot::realizability_simplifier_base
• global_equiv_output_only : spot::realizability_simplifier_base
• polarity : spot::realizability_simplifier_base
• YYNTOKENS : hoayy::parser::symbol_kind, tlyy::parser::symbol_kind