- a -

• APPEND : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• ASSEMBLE_ONLY : compilet
• AX_NO_THINAIR : partial_order_concurrencyt
• AX_OBSERVATION : partial_order_concurrencyt
• AX_PROPAGATION : partial_order_concurrencyt
• AX_SC_PER_LOCATION : partial_order_concurrencyt

- b -

• B_dynamic_heap : local_bitvector_analysist::flagst
• B_dynamic_local : local_bitvector_analysist::flagst
• B_integer_address : local_bitvector_analysist::flagst
• B_null : local_bitvector_analysist::flagst
• B_static_lifetime : local_bitvector_analysist::flagst
• B_uninitialized : local_bitvector_analysist::flagst
• B_unknown : local_bitvector_analysist::flagst
• B_uses_offset : local_bitvector_analysist::flagst
• BASE_CASE_FAIL : inductiveness_resultt
• BOOL : c_typecastt
• BUILTIN : string_dependenciest::nodet

- c -

• CAST_AS_NEEDED : java_bytecode_convert_methodt
• CHANGED : simplify_exprt::resultt< T >
• CHAR : c_typecastt
• CHECKED : goto_check_ct
• CHOP : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• COMPILE_LINK : compilet
• COMPILE_LINK_EXECUTABLE : compilet
• COMPILE_ONLY : compilet
• COMPLEX : c_typecastt

- d -

• DEL_CTRL_DEP : change_impactt
• DEL_DATA_DEP : change_impactt
• DELETED : change_impactt
• DISABLE : goto_check_ct
• DOUBLE : c_typecastt , java_bytecode_parse_treet::methodt::verification_type_infot

- e -

• ELF32 : elf_readert
• ELF64 : elf_readert
• ENABLE : goto_check_ct
• Error : main_function_resultt
• ERROR : satcheck_zchaff_baset

- f -

• FIXEDBV : c_typecastt
• FLOAT : java_bytecode_parse_treet::methodt::verification_type_infot
• FLOAT128 : c_typecastt
• FULL : java_bytecode_parse_treet::methodt::stack_map_table_entryt

- h -

• HTML : document_propertiest

- i -

• INDUCTIVE : inductiveness_resultt
• INIT : satcheck_zchaff_baset
• INST_INDEX : java_bytecode_convert_methodt
• INST_INDEX_CONST : java_bytecode_convert_methodt
• INT : c_typecastt
• INTEGER : c_typecastt , java_bytecode_parse_treet::methodt::verification_type_infot
• ITEM_NULL : java_bytecode_parse_treet::methodt::verification_type_infot

- k -

• kArgDeclarator : Parser
• kCastDeclarator : Parser
• kDeclarator : Parser

- l -

• LARGE_SIGNED_INT : c_typecastt
• LARGE_UNSIGNED_INT : c_typecastt
• LATEX : document_propertiest
• LINK_LIBRARY : compilet
• List : lispexprt
• LONG : c_typecastt , java_bytecode_parse_treet::methodt::verification_type_infot
• LONGDOUBLE : c_typecastt
• LONGLONG : c_typecastt

- m -

• M_COMPLEX : qdimacs_coret
• M_DEBUG : messaget
• M_DONTCARE : qdimacs_coret
• M_ERROR : messaget
• M_FALSE : qdimacs_coret
• M_PROGRESS : messaget
• M_RESULT : messaget
• M_STATISTICS : messaget
• M_STATUS : messaget
• M_TRUE : qdimacs_coret
• M_WARNING : messaget
• malloc_failure_mode_assert_then_assume : configt::ansi_ct
• malloc_failure_mode_none : configt::ansi_ct
• malloc_failure_mode_return_null : configt::ansi_ct

- n -

• NEW : change_impactt
• NEW_CTRL_DEP : change_impactt
• NEW_DATA_DEP : change_impactt
• NO_CAST : java_bytecode_convert_methodt
• NO_RENAMING : linkingt
• NONDETERMINISTIC : ieee_floatt
• NOT_SOLVED : smt2_solvert
• NotFound : main_function_resultt
• num_tdks : Parser
• Number : lispexprt

- o -

• OBJECT : java_bytecode_parse_treet::methodt::verification_type_infot
• OTHER : c_typecastt

- p -

• PARAMETER : taint_parse_treet::rulet
• PREPROCESS_ONLY : compilet
• PTR : c_typecastt

- q -

• QUALIFIED : cpp_scopet

- r -

• RATIONAL : c_typecastt
• REAL : c_typecastt
• RECURSIVE : cpp_scopet
• RENAME_NEW : linkingt
• RENAME_OLD : linkingt
• RETURN_VALUE : taint_parse_treet::rulet
• ROUND_TO_EVEN : ieee_floatt
• ROUND_TO_MINUS_INF : ieee_floatt
• ROUND_TO_PLUS_INF : ieee_floatt
• ROUND_TO_ZERO : ieee_floatt

- s -

• SAME : change_impactt , java_bytecode_parse_treet::methodt::stack_map_table_entryt
• SAME_EXTENDED : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• SAME_LOCALS_ONE_STACK : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• SAME_LOCALS_ONE_STACK_EXTENDED : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• SANITIZER : taint_parse_treet::rulet
• SAT : satcheck_zchaff_baset , smt2_solvert
• SCOPE_ONLY : cpp_scopet
• SHORT : c_typecastt
• SINGLE : c_typecastt
• SINK : taint_parse_treet::rulet
• SOURCE : taint_parse_treet::rulet
• SPECIFIER : format_elementt
• STEP_CASE_FAIL : inductiveness_resultt
• String : lispexprt
• STRING : string_dependenciest::nodet
• Success : main_function_resultt
• Symbol : lispexprt

- t -

• tdk_decl : Parser
• tdk_instantiation : Parser
• tdk_specialization : Parser
• tdk_unknown : Parser
• TEXT : format_elementt
• THIS : taint_parse_treet::rulet
• TOP : java_bytecode_parse_treet::methodt::verification_type_infot
• TRACK_ALL_POINTERS : value_set_analysis_fit
• TRACK_FUNCTION_POINTERS : value_set_analysis_fit

- u -

• UCHAR : c_typecastt
• UINT : c_typecastt
• ULONG : c_typecastt
• ULONGLONG : c_typecastt
• UNCHANGED : simplify_exprt::resultt< T >
• UNINITIALIZED : java_bytecode_parse_treet::methodt::verification_type_infot
• UNINITIALIZED_THIS : java_bytecode_parse_treet::methodt::verification_type_infot
• UNKNOWN : ieee_floatt
• UNSAT : satcheck_zchaff_baset , smt2_solvert
• USHORT : c_typecastt

- v -

• VOIDPTR : c_typecastt