- g -
- gdb_output_recordt
: gdb_apit
- generate_function_bodyt
: lazy_goto_functions_mapt
, lazy_goto_modelt
- generator_optionst
: goto_harness_generator_factoryt
- 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
- goalst
: cover_goalst
- goto_functions_change_impactt
: change_impactt
- goto_functiont
: dirtyt
, goto_check_ct
, goto_check_javat
, goto_functionst
, goto_inlinet
, havoc_loopst
, local_bitvector_analysist
, local_may_aliast
- goto_program_change_impactt
: change_impactt
- goto_program_difft
: unified_difft
- goto_state_listt
: framet
- gotost
: goto_convertt
- Gt
: mini_bdd_applyt
- guardt
: goto_check_ct
- gvs_recursion_sett
: value_set_fit
, value_set_fivrt