- a -

• a_s_r_entryt : goto_symex_statet
• a_s_w_entryt : goto_symex_statet
• abstract_aggregate_baset : full_array_abstract_objectt , full_struct_abstract_objectt , two_value_array_abstract_objectt , two_value_struct_abstract_objectt , two_value_union_abstract_objectt
• abstract_value_pointert : abstract_value_objectt
• abstraction_types_mapt : string_abstractiont
• address_mapt : java_bytecode_convert_methodt , partial_order_concurrencyt
• alias_sett : local_may_aliast
• aliasest : escape_domaint , global_may_alias_domaint
• allocationst : goto_check_ct
• allocationt : goto_check_ct
• alphabett : trace_automatont
• annotationst : java_bytecode_parse_treet
• annotationt : java_bytecode_convert_classt , java_bytecode_parsert
• applicationst : functionst
• argst : cmdlinet , gcc_cmdlinet , java_bytecode_parse_treet::instructiont
• argument_typet : abstract_equalert , abstract_hashert
• argumentst : code_function_callt , cpp_template_args_baset , function_application_exprt
• array_constraint_countt : arrayst
• array_equalitiest : arrayst
• array_index_mapt : string_constraintt
• arrayt : jsont
• asm_label_mapt : c_typecheck_baset
• assertion_factoryt : cover_instrumenter_baset
• assertionst : goto_check_ct
• assign_recursion_sett : value_set_fit
• assignment_idt : interpretert
• assignment_typet : goto_symext
• assignmentt : cnf_clause_list_assignmentt , qbf_qube_coret
• assignst : function_assignst , havoc_loopst
• attributest : xmlt