Here is a list of all variables with links to the classes they belong to:
- c -
- c_assigns : ansi_c_convert_typet
- c_bool_cnt : ansi_c_convert_typet
- c_converter : gdb_value_extractort
- c_ensures : ansi_c_convert_typet
- c_frees : ansi_c_convert_typet
- c_qualifiers : ansi_c_convert_typet
- c_requires : ansi_c_convert_typet
- c_standard : configt::ansi_ct
- c_storage_spec : ansi_c_convert_typet
- cache : boolbv_widtht, dfcc_swap_and_wrapt, goto_inlinet, graphml_witnesst, prop_conv_solvert
- cache_dereferences : symex_configt
- cached_output : smt2_dect
- caching : goto_inlinet
- call_depth : aggressive_slicert
- call_graph : aggressive_slicert
- call_lhs : framet
- call_location_number : goto_inlinet::goto_inline_logt::goto_inline_log_infot
- call_stack : check_call_sequencet::statet, goto_symex_statet::threadt, interpretert, state_encodingt
- callable_methods : ci_lazy_methods_neededt
- callback : api_message_handlert
- called_function : goto_trace_stept, SSA_stept
- caller : call_stack_historyt::call_stack_entryt
- caller_is_known : reachability_slicert::search_stack_entryt
- caller_write_set : dfcc_wrapper_programt
- calling_function : interpretert::function_assignments_contextt
- calling_location : framet
- callsites : call_grapht, call_grapht::edge_with_callsitest
- case_is_allowed : c_typecheck_baset
- case_last : goto_program2codet::caset
- case_selector : goto_program2codet::caset
- case_start : goto_program2codet::caset
- cases : goto_convertt::break_switch_targetst, goto_convertt::targetst
- cases_map : goto_convertt::break_switch_targetst, goto_convertt::targetst
- catch_map : framet
- catch_type : java_bytecode_parse_treet::methodt::exceptiont
- cause_loop_ids : cext
- cav11 : shared_bufferst
- cbmc_loop_id : dfcc_loop_infot
- cexs : cegis_evaluatort
- cfg : cfg_dominators_templatet< P, T, post_dom >, full_slicert, local_bitvector_analysist, local_may_aliast, points_tot, reachability_slicert
- cfg_dominators : natural_loops_templatet< P, T, C >
- cfg_info : instrument_spec_assignst
- changed : flow_insensitive_abstract_domain_baset, value_set_fit
- changed_vars : path_acceleratort
- char16_t_count : cpp_convert_typet
- char32_t_count : cpp_convert_typet
- char_cnt : ansi_c_convert_typet
- char_is_unsigned : configt::ansi_ct
- char_representation_length : expr2javat
- char_type : java_string_library_preprocesst
- char_width : configt::ansi_ct
- CHARACTER : format_specifiert
- character : gdb_apit::pointer_valuet, string_concat_char_builtin_functiont, string_set_char_builtin_functiont
- character_preprocess : java_string_library_preprocesst
- CHARACTER_UPPER : format_specifiert
- check_returns_removed : goto_model_validation_optionst
- check_side_effect : loop_contract_configt
- checked : overflow_instrumentert
- checked_expr : cegis_evaluatort, goto_null_checkt
- checked_pointer : cext
- checked_when_taken : goto_null_checkt
- checker : scratch_programt
- child_abstract_object : context_abstract_objectt
- child_process_id : piped_processt
- child_stream : json_streamt
- children : class_hierarchyt::entryt
- children_too_complex : framet::active_loop_infot
- choice_symbols : memory_model_baset
- chops : java_bytecode_parse_treet::methodt::stack_map_table_entryt
- chunk : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
- class_has_clinit_method : java_bytecode_convert_methodt
- class_hierarchy : ci_lazy_methodst, get_virtual_calleest, janalyzer_parse_optionst, java_bytecode_convert_methodt, java_bytecode_languaget, jbmc_parse_optionst, remove_exceptionst, remove_instanceoft, remove_virtual_functionst, taint_analysist, uncaught_exceptions_domaint
- class_id : dispatch_table_entryt, method_bytecodet::class_method_and_bytecodet
- class_identifier : class_hierarchy_graph_nodet, cpp_idt, resolve_inherited_componentt::inherited_componentt
- class_index : base_ref_infot
- class_initializer_seen : ci_lazy_methodst::convert_method_resultt
- class_map : class_hierarchyt, java_class_loadert
- class_nb : data_dpt
- class_refs : java_bytecode_parse_treet
- classpath : configt::javat
- classpath_entries : java_class_loader_baset
- clause : c_wranglert::function_contract_clauset, c_wranglert::loop_contract_clauset
- clause_counter : cnf_solvert
- clause_id : clauset::stept
- clause_set : solver_hardnesst::sat_hardnesst
- clauses : cnf_clause_listt, resolution_prooft< T >, solver_hardnesst::sat_hardnesst
- clean_code : c_typecheck_baset
- clean_configuration : expr2c_configurationt
- cleaner : havoc_assigns_targetst
- cleanup_functions : escape_domaint::cleanupt
- cleanup_map : escape_domaint
- clock_type : partial_order_concurrencyt
- clusters : dott
- cmdline : armcc_modet, compilet, cw_modet, goto_cc_modet, linker_script_merget, ms_cl_modet, parse_options_baset
- code : code_without_referencest, get_or_create_reference_resultt, java_bytecode_convert_methodt::converted_instructiont
- code_with_contract : dfcc_contract_functionst
- coeff : monomialt
- coefficients : linear_functiont
- collect_callsites : call_grapht
- column : help_formattert::statet, parsert
- com_graph : event_grapht
- coming_from : instrumentert::cfg_visitort, shared_bufferst::cfg_visitort
- command : messaget::commandt
- command_line : cmdlinet::option_namest, cmdlinet::option_namest::option_names_iteratort
- command_line_description : smt_piped_solver_processt
- command_log : gdb_apit
- command_stream : gdb_apit, piped_processt
- commands : smt2_parsert
- comment : goto_trace_stept, SSA_stept
- comment_set : document_propertiest::doc_claimt
- common_ancestor : ancestry_resultt
- common_arguments_origins : recursive_initializationt
- comp_remaining : mz_zip_reader_extract_iter_state
- compact_output : change_impactt
- compact_trace : trace_optionst
- compare : smt_bit_vector_theoryt
- complex_cnt : ansi_c_convert_typet
- complexity_active : complexity_limitert
- complexity_limits_active : symex_configt
- complexity_module : goto_symext
- component_identifier : resolve_inherited_componentt::inherited_componentt
- components : identifiert, labelt
- compound_counter : ansi_c_scopet, cpp_idt
- computed_gotos : goto_convertt::targetst
- con : d_containert< keyT, valueT, equalT >
- concat : smt_bit_vector_theoryt
- concrete_nodes : __CPROVER_jsa_abstract_heap
- cond_expr : goto_trace_stept, SSA_stept
- cond_handle : SSA_stept
- cond_value : goto_trace_stept
- condition : cover_goalst::goalt, goto_symex_property_decidert::goalt, invariant_failedt, prop_minimizet::objectivet, propertyt
- conditions : goto_program_coverage_recordt::coverage_linet
- cone_map : cone_of_influencet
- config_ : bv_refinementt, string_refinementt
- configuration : expr2ct, variable_sensitivity_dependence_domain_factoryt, variable_sensitivity_domain_factoryt, variable_sensitivity_object_factoryt
- console_message_handler : ui_message_handlert
- const_removed : goto_program2codet
- constant_coefficient : linear_functiont
- constant_pool : java_bytecode_parsert
- constant_propagation : scratch_programt, symex_configt
- constants_done : smt2_solvert
- constraints : axiomst, container_encoding_targett
- constructor : ansi_c_convert_typet
- constructor_type : recursive_initializationt::constructor_keyt
- container : cfg_baset< T, P, I >::entry_mapt
- container_id : generic_parameter_specialization_map_keyst
- container_index : generic_parameter_specialization_mapt::container_paramt
- container_to_specializations : generic_parameter_specialization_mapt
- content : c_wranglert::assertiont, c_wranglert::function_contract_clauset, c_wranglert::loop_contract_clauset, format_textt
- context : api_message_handlert
- context_literal_counter : prop_conv_solvert
- context_prefix : prop_conv_solvert
- context_size_stack : prop_conv_solvert
- context_tracking : vsd_configt
- continue_is_allowed : c_typecheck_baset
- continue_set : goto_convertt::break_continue_targetst, goto_convertt::targetst
- continue_stack_node : goto_convertt::targetst
- continue_target : goto_convertt::break_continue_targetst, goto_convertt::targetst
- contract_assigns : __CPROVER_contracts_write_set_t
- contract_cache : dfcc_contract_handlert
- contract_clauses_codegen : dfcc_contract_functionst, dfcc_contract_handlert, dfcc_instrument_loopt, dfcc_instrumentt, dfcct
- contract_code_type : dfcc_wrapper_programt
- contract_frees : __CPROVER_contracts_write_set_t
- contract_frees_append : __CPROVER_contracts_write_set_t
- contract_functions : dfcc_wrapper_programt
- contract_handler : dfcc_swap_and_wrapt, dfcct
- contract_lambda_parameters : dfcc_wrapper_programt
- contract_mode : dfcc_wrapper_programt
- contract_symbol : dfcc_wrapper_programt
- contract_write_set : dfcc_wrapper_programt
- control_dep_call_candidates : variable_sensitivity_dependence_domaint
- control_dep_calls : variable_sensitivity_dependence_domaint
- control_dep_candidates : dep_graph_domaint, variable_sensitivity_dependence_domaint
- control_deps : dep_graph_domaint, variable_sensitivity_dependence_domaint
- control_flow_decision_history : local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
- conversion : format_specifiert
- conversion_table : character_refine_preprocesst, java_string_library_preprocesst
- converted : SSA_stept
- converted_compound : dump_ct
- converted_enum : dump_ct
- converted_function_arguments : SSA_stept
- converted_global : dump_ct
- converted_io_args : SSA_stept
- converter : dfcc_wrapper_programt
- converters : smt2_convt
- copied_symbol_table : dump_ct
- correct_format : invalid_function_contract_pair_exceptiont, invalid_restriction_exceptiont
- correct_input : invalid_command_line_argument_exceptiont
- corresponding_primitive_type : java_boxed_type_infot
- cost : cpp_typecheck_resolvet::matcht
- count : framet::loop_infot, letifyt::let_count_idt, unsigned_union_find::nodet
- counter : ascii_encoding_targett
- counters : axiomst, frequency_mapt
- cover_failed_assertions : cover_configt
- cover_instrumenters : cover_configt
- coverage : symex_coveraget
- coverage_criterion : cover_instrumenter_baset
- cpool_index : java_bytecode_parse_treet::methodt::verification_type_infot
- cpp : configt
- cpp11 : ansi_c_parsert, Parser
- cpp98 : ansi_c_parsert
- cpp_parse_tree : cpp_languaget, cpp_typecheckt
- cpp_scopes : cpp_save_scopet, cpp_typecheckt
- cpp_standard : configt::cppt
- cpp_typecheck : cpp_declarator_convertert, cpp_typecastt, cpp_typecheck_resolvet
- cprover_equivalent_to_java_assign_and_return_function : java_string_library_preprocesst
- cprover_equivalent_to_java_assign_function : java_string_library_preprocesst
- cprover_equivalent_to_java_constructor : java_string_library_preprocesst
- cprover_equivalent_to_java_function : java_string_library_preprocesst
- cprover_equivalent_to_java_string_returning_function : java_string_library_preprocesst
- cudd : bdd_managert
- cumulative : index_set_pairt
- cur : value_set_index_ranget, value_set_value_ranget
- cur_file_ofs : mz_zip_reader_extract_iter_state
- current : ahistoricalt, index_set_pairt, map_iteratort< iteratort, outputt >, prop_minimizet, zip_iteratort< first_iteratort, second_iteratort, same_size >
- current_bindings : smt2_convt
- current_constraints : string_refinementt
- current_equation_converted : single_loop_incremental_symex_checkert
- current_function : goto_program_dereferencet, Parser
- current_hardness : solver_hardnesst
- current_linkage_spec : cpp_typecheckt
- current_loc : local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
- current_location : call_stack_historyt::call_stack_entryt
- current_method : java_bytecode_convert_methodt
- current_names : symex_level1t, symex_level2t
- current_node : scope_treet
- current_pos : cpp_token_buffert
- current_scope : Parser
- current_scope_ptr : cpp_scopest
- current_ssa_key : solver_hardnesst
- current_stack : call_stack_historyt
- current_symbol : c_typecheck_baset
- current_target : goto_check_ct, goto_program_dereferencet
- current_thread : instrumentert::cfg_visitort, shared_bufferst::cfg_visitort
- cyan : messaget
- cycle_nb : event_grapht::graph_explorert
- cycles : shared_bufferst
- cycles_loc : shared_bufferst
- cycles_r_loc : shared_bufferst
1.9.8 
