Here is a list of all variables with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- g -

• G : mini_bdd_applyt
• gcc__float128_type : configt::ansi_ct
• gcc_attribute_mode : ansi_c_convert_typet
• gcc_float128_cnt : ansi_c_convert_typet
• gcc_float128x_cnt : ansi_c_convert_typet
• gcc_float16_cnt : ansi_c_convert_typet
• gcc_float32_cnt : ansi_c_convert_typet
• gcc_float32x_cnt : ansi_c_convert_typet
• gcc_float64_cnt : ansi_c_convert_typet
• gcc_float64x_cnt : ansi_c_convert_typet
• gcc_int128_cnt : ansi_c_convert_typet
• gcc_message_handler : gcc_modet, ld_modet
• gcc_version : gcc_modet
• gdb_api : gdb_value_extractort
• gdb_state : gdb_apit
• GENERAL : format_specifiert
• GENERAL_UPPER : format_specifiert
• generator : string_refinementt
• generators : goto_harness_generator_factoryt
• generic_parameter_specialization_map : generic_parameter_specialization_map_keyst, java_object_factoryt
• get_array_constraints : arrayst
• get_extra_class_refs : java_class_loadert
• global_fields : shadow_memory_field_definitionst
• global_limit : unwindsett
• global_pointers : function_call_harness_generatort::implt
• globals_to_havoc : havoc_generate_function_bodiest
• goal : pbs_dimacs_cnft
• goal_filters : cover_configt, cover_instrumenter_baset
• goal_map : goto_symex_property_decidert
• goals : cover_goalst
• goto_binary : linker_script_merget
• goto_binary_tmp_suffix : gcc_modet, ld_modet
• goto_function : dfcc_cfg_infot, goto_model_functiont, havoc_loopst, k_inductiont
• goto_functions : acceleratet, acceleration_utilst, check_call_sequencet, code_contractst, contracts_wranglert, disjunctive_polynomial_accelerationt, document_propertiest, dump_ct, enumerating_loop_accelerationt, function_assignst, function_call_harness_generatort::implt, functions_in_scope_visitort, goto_inlinet, goto_model_functiont, goto_modelt, instrumentert, interpretert, lazy_goto_functions_mapt, lazy_goto_modelt, local_may_alias_factoryt, polynomial_acceleratort, remove_asmt, rw_set_functiont, sat_path_enumeratort, shared_bufferst::cfg_visitort, state_encodingt, variable_sensitivity_dependence_grapht, wrapper_goto_modelt
• goto_instruction : build_declaration_hops_inputst
• goto_model : aggressive_slicert, all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT >, all_properties_verifier_with_trace_storaget< incremental_goto_checkerT >, all_properties_verifiert< incremental_goto_checkerT >, cbmc_parse_optionst, cegis_verifiert, code_contractst, contracts_wranglert, cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT >, dfcc_contract_clauses_codegent, dfcc_contract_functionst, dfcc_contract_handlert, dfcc_instrument_loopt, dfcc_instrumentt, dfcc_libraryt, dfcc_lift_memory_predicatest, dfcc_spec_functionst, dfcc_swap_and_wrapt, dfcc_wrapper_programt, dfcct, dott, goto_analyzer_parse_optionst, goto_instrument_parse_optionst, goto_synthesizer_parse_optionst, is_fresh_baset, lazy_goto_modelt, loop_contracts_synthesizer_baset, multi_path_symex_only_checkert, nondet_volatilet, recursive_initializationt, single_loop_incremental_symex_checkert, single_path_symex_only_checkert, state_encodingt, stop_on_fail_verifier_with_fault_localizationt< incremental_goto_checkerT >, stop_on_fail_verifiert< incremental_goto_checkerT >, string_abstractiont
• goto_model1 : goto_difft
• goto_model2 : goto_difft
• goto_program : all_paths_enumeratort, disjunctive_polynomial_accelerationt, does_remove_constt, enumerating_loop_accelerationt, goto_program2codet, sat_path_enumeratort, trace_automatont
• goto_state_map : framet
• gotos : goto_convertt::targetst
• graph : function_indicest
• graphml : graphml_witnesst
• green : messaget
• guard : goto_programt::instructiont, goto_statet, goto_symex_statet::threadt, path_nodet, rw_guarded_range_set_value_sett, rw_set_baset::entryt, SSA_stept
• guard_at_function_start : framet
• guard_handle : SSA_stept
• guard_manager : acceleratet, disjunctive_polynomial_accelerationt, enumerating_loop_accelerationt, goto_symex_statet, goto_symext, multi_path_symex_only_checkert, polynomial_acceleratort, rw_guarded_range_set_value_sett, sat_path_enumeratort, single_loop_incremental_symex_checkert, single_path_symex_only_checkert