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

- _ -

• _resetiosflags : smanip
• _setbase : smanip
• _setfill : smanip
• _setiosflags : smanip
• _setprecision : smanip
• _setw : smanip

- a -

• ALTERNATE : format_tokent
• ARIGHT : bitblast_convt, minisat_convt
• ASSERT : symex_targett
• ASSIGNMENT : symex_targett
• ASSUME : symex_targett
• assumption : waypoint
• ASTERISK : format_tokent
• AUTOMATIC : format_spect
• avoid : waypoint

- b -

• BOOL : c_typecastt, PyConstValue
• branching : waypoint
• BREANCHING : symex_targett

- c -

• CHAR : c_typecastt, format_tokent
• CHERI_HYBRID : configt::ansi_ct
• CHERI_OFF : configt::ansi_ct
• CHERI_PURECAP : configt::ansi_ct
• CORRECTNESS : grapht, yamlt
• cycle : waypoint

- d -

• DECIMAL : format_spect
• DOUBLE : c_typecastt, format_tokent
• DOUBLE_ENG : format_tokent
• DOUBLE_G : format_tokent
• DOUBLE_HEX : format_tokent

- e -

• end_expr_id : expr2t
• end_type_id : type2t

- f -

• FLOAT : PyConstValue
• follow : waypoint
• FREE : dereferencet::modet
• function_enter : waypoint
• function_return : waypoint

- i -

• ILP32 : configt
• ILP64 : configt
• INT : c_typecastt, PyConstValue
• INT128 : c_typecastt
• INTERNAL : dereferencet::modet
• IP16 : configt
• IP32 : configt
• IS_BIG_ENDIAN : configt::ansi_ct
• IS_LITTLE_ENDIAN : configt::ansi_ct

- l -

• LEFT : bitblast_convt, minisat_convt
• LEFT_ADJUST : format_tokent
• LEN_h : format_tokent
• LEN_j : format_tokent
• LEN_L : format_tokent
• LEN_l : format_tokent
• LEN_t : format_tokent
• LIB_FULL : configt::ansi_ct
• LIB_NONE : configt::ansi_ct
• LIST : PyConstValue
• LLP64 : configt
• location_invariant : invariant
• location_transition_invariant : invariant
• LONG : c_typecastt
• LONGDOUBLE : c_typecastt
• LONGLONG : c_typecastt
• loop_invariant : invariant
• loop_transition_invariant : invariant
• LP32 : configt
• LP64 : configt
• LRIGHT : bitblast_convt, minisat_convt
• ltl_res_bad : bmct
• ltl_res_failing : bmct
• ltl_res_good : bmct
• ltl_res_succeeding : bmct

- n -

• NO_ENDIANESS : configt::ansi_ct
• NONDETERMINISTIC : ieee_floatt
• NONE : PyConstValue

- o -

• OTHER : c_typecastt
• OUTPUT : symex_targett

- p -

• PERCENT : format_tokent
• POINTER : format_tokent
• PTR : c_typecastt

- r -

• READ : dereferencet::modet
• RENUMBER : symex_targett
• ROUND_TO_AWAY : ieee_floatt
• ROUND_TO_EVEN : ieee_floatt
• ROUND_TO_MINUS_INF : ieee_floatt
• ROUND_TO_PLUS_INF : ieee_floatt
• ROUND_TO_ZERO : ieee_floatt

- s -

• SCIENTIFIC : format_spect
• SHORT_ZERO_COMPOUNDS : c_expr2stringt
• SIGN : format_tokent
• SIGNED_DEC : format_tokent
• SIGNED_SPACE : format_tokent
• SINGLE : c_typecastt
• SKIP : symex_targett
• small : BigInt
• STRING : format_tokent, PyConstValue

- t -

• target : waypoint
• TEXT : format_tokent
• TUPLE : PyConstValue
• TV_FALSE : tvt
• TV_TRUE : tvt
• TV_UNKNOWN : tvt

- u -

• UCHAR : c_typecastt
• UINT : c_typecastt
• UINT128 : c_typecastt
• ULONG : c_typecastt
• ULONGLONG : c_typecastt
• UNIQUE_FLOAT_REPR : c_expr2stringt
• UNKNOWN : format_tokent, ieee_floatt
• unknown : invariant, waypoint
• UNSIGNED_DEC : format_tokent
• UNSIGNED_HEX : format_tokent
• UNSIGNED_OCT : format_tokent

- v -

• VIOLATION : grapht, yamlt
• VOIDPTR : c_typecastt

- w -

• WRITE : dereferencet::modet

- z -

• ZERO_PAD : format_tokent