Here is a list of all documented namespace enums with links to the namespaces they belong to:

• acd_options : spot
• edge_filter_choice : spot
• ltlf_synthesis_backprop : spot
• mc_algorithm : spot
• mc_rvalue : spot
• mcs_tie_break : spot
• ocheck : spot
• op : spot
• parity_kind : spot
• parity_style : spot
• pool_type : spot
• prcheck : spot
• scc_info_options : spot
• zielonka_tree_options : spot