- g -
- generate_function_bodyt
: lazy_goto_functions_mapt
, lazy_goto_modelt
- generic_type_argumentst
: java_generic_typet
- generic_typest
: java_generic_class_typet
, java_generic_struct_tag_typet
- get_extra_class_refs_functiont
: java_class_loadert
- get_goto_functiont
: goto_symext
- goal_mapt
: bmc_all_propertiest
, bmc_covert
- goalst
: cover_goalst
- goto_functions_change_impactt
: change_impactt
- goto_functiont
: dirtyt
, goto_checkt
, goto_functionst
, goto_inlinet
, havoc_loopst
, k_inductiont
, local_bitvector_analysist
, local_may_aliast
- goto_program_change_impactt
: change_impactt
- goto_program_difft
: unified_difft
- goto_state_listt
: goto_symex_statet
- goto_state_mapt
: goto_symex_statet
- gotost
: goto_convertt
- Gt
: mini_bdd_applyt
- gvs_recursion_sett
: value_set_fit
, value_set_fivrt