- 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_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