- 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 , 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
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
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