Here is a list of all enums with links to the classes they belong to:

- a -

• access_kindt : execution_statet
• Action : waypoint
• assertion_modet : symex_target_equationt

- c -

• c_typet : c_typecastt
• cheri_flavor : configt::ansi_ct
• constraint_kindt : andersent

- d -

• data_model : configt

- e -

• endianesst : configt::ansi_ct
• enumeration_stop_reasont : bmct
• expr_ids : expr2t

- f -

• file_type : jimple_file
• flag_typet : format_tokent
• flagst : c_expr2stringt, expr2ct

- k -

• Kind : PyConstValue
• kind : smanip
• kindt : exception_specificationt

- l -

• length_modifierst : format_tokent
• libt : configt::ansi_ct
• ltl_res : bmct

- m -

• modifier : jimple_modifiers

- r -

• rounding_modet : ieee_floatt

- s -

• shiftt : bitblast_convt, minisat_convt
• statement : jimple_full_method_body
• step_typet : symex_targett
• stylet : format_spect

- t -

• terminator_type : goto_cfg::basic_block
• token_typet : format_tokent
• tv_enumt : tvt
• Type : invariant, waypoint
• type_ids : type2t
• typet : grapht, yamlt

- v -

• Verdict : LdVerifyResult
• view_contiguity : python_list