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

- g -

• g : arg_struct_f5i2
• gen_defs : preprocessor.generator_mixin._GeneratorConsumerScan
• generate_ast_json_fn : parser.json_emitter.EmitPipelineDeps
• GenerateAstJsonFn : parser.import_resolver.ModuleImportInfo
• generator_emitted_init : preprocessor.generator_mixin.GeneratorMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• generator_func_defs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• generator_funcs : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• generator_next_index : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• generator_vars : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• get_ast_cache : smt_solver_baset
• global_guard : goto_symex_statet
• global_types : goto2ct
• global_value_set : execution_statet
• global_vars : goto2ct
• globalL1CacheSupported : cudaDeviceProp
• goto_function : goto_loopst
• goto_functions : esbmc_parseoptionst, goto2ct, goto_contractort, goto_coverage_rm, goto_coveraget, goto_inlinet, goto_loopst, goto_symext, reachability_treet
• goto_preprocess_algorithms : esbmc_parseoptionst
• goto_symex : symex_dereference_statet
• goto_trace : html_report
• gotos : goto_convertt::targetst
• groupname : group_opt_templ
• groups : preprocessor.function_value_dispatch._Dispatch, preprocessor.function_value_dispatch._Plan, preprocessor.function_value_dispatch._Returns
• guard : cbmc_instructiont, code_assert2t, code_assume2t, dereference_callbackt::internal_item, goto_programt::instructiont, goto_symex_statet, goto_symex_statet::merge_statet, goto_symext::deferred_assumptiont, goto_trace_stept, rw_sett::entryt, smt_solver_baset::ptr_flatten_entry, symex_target_equationt::SSA_stept
• guard_definitions : goto_symext
• guard_execution : execution_statet
• guard_execution_name : execution_statet
• guard_identifier_s : goto_symext
• guard_list : guard2tc
• guard_prefix_index : goto_symext