Here is a list of all variables with links to the classes they belong to:
- 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, unwindsett
- 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
1.9.8 
