- _ -

• __gcc_atomic_memmodels : gcc_builtin_headers_types.h

- a -

• ABSTRACT_OBJECT_TYPET : variable_sensitivity_configuration.h
• access_typet : c_safety_checks.cpp
• ai_verifier_statust : static_verifier.h
• aliasingt : wp.cpp
• ansi_c_id_classt : ansi_c_scope.h

- b -

• bvtypet : boolbv_type.h

- c -

• car_havoc_methodt : instrument_spec_assigns.h
• clinit_statest : java_static_initializers.cpp
• complexity_violationt : complexity_violation.h
• coverage_criteriont : cover.h

- d -

• default_step_kindt : structured_trace_util.h
• dfcc_contract_modet : dfcc_contract_mode.h
• dfcc_funt : dfcc_library.h
• dfcc_typet : dfcc_library.h

- f -

• file_typet : compile.cpp
• flow_sensitivityt : variable_sensitivity_configuration.h

- g -

• get_modet : object_id.cpp
• goto_program_instruction_typet : goto_program.h

- i -

• idt : irep_ids.cpp
• impact_modet : change_impact.h
• instrumentation_strategyt : wmm.h

- l -

• lazy_methods_modet : java_bytecode_language.h
• levelt : renamed.h
• lifetimet : allocate_objects.h
• loop_strategyt : wmm.h

- m -

• memory_modelt : wmm.h
• mz_zip_error : miniz.h
• mz_zip_flags : miniz.h
• mz_zip_mode : miniz.h
• mz_zip_type : miniz.h

- p -

• prop_statust : verification_result.h
• property_statust : properties.h

- r -

• resultt : properties.h

- s -

• solver_resultt : solver.h
• state_encoding_formatt : state_encoding.h
• symbol_kindt : find_symbols.cpp
• synthetic_method_typet : synthetic_methods_map.h

- t -

• tdefl_flush : miniz.h
• tdefl_status : miniz.h
• tinfl_status : miniz.h

- u -

• update_in_placet : java_object_factory.h

- v -

• validation_modet : validation_mode.h
• verifier_resultt : verification_result.h
• virtual_dispatch_fallback_actiont : remove_virtual_functions.h

- w -

• widen_modet : abstract_environment.h