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

- c -

c17 : ansi_c_parsert
c23 : ansi_c_parsert
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 : algebraic_numbert, 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
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, data, 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
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