- a -
- a_s_r_entryt
: goto_symex_statet
- a_s_w_entryt
: goto_symex_statet
- 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_checkt
- allocationt
: goto_checkt
- alphabett
: symex_slice_by_tracet
, trace_automatont
- annotationst
: java_bytecode_parse_treet
, java_bytecode_parsert
- annotationt
: java_bytecode_convert_classt
, java_bytecode_parsert
- applicationst
: functionst
- argst
: cmdlinet
, gcc_cmdlinet
, java_bytecode_parse_treet::instructiont
- argumentst
: code_function_callt
, cpp_template_args_baset
, function_application_exprt
- array_equalitiest
: arrayst
- array_index_mapt
: string_constraintt
- arrayt
: jsont
- asm_label_mapt
: c_typecheck_baset
- assertionst
: goto_checkt
- assign_recursion_sett
: value_set_fit
, value_set_fivrt
- assignment_idt
: interpretert
- assignment_typet
: goto_symext
- assignmentt
: cnf_clause_list_assignmentt
, qbf_qube_coret
- attributest
: xmlt