- c -
- c_bool_cnt
: ansi_c_convert_typet
- c_qualifiers
: ansi_c_convert_typet
- c_standard
: configt::ansi_ct
- c_storage_spec
: ansi_c_convert_typet
- cache
: boolbv_widtht
, goto_inlinet
, prop_conv_solvert
- caching
: goto_inlinet
- call_location_number
: goto_inlinet::goto_inline_logt::goto_inline_log_infot
- call_stack
: check_call_sequencet::statet
, goto_symex_statet::threadt
, interpretert
, path_symex_statet::threadt
- calling_location
: goto_symex_statet::framet
- callsite_stack
: const_function_pointer_propagationt
- 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
: goto_symex_statet::framet
- catch_type
: java_bytecode_parse_treet::methodt::exceptiont
- cav11
: shared_bufferst
- 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 >
- cfpp
: const_function_pointer_propagationt::arg_stackt
- changed
: flow_insensitive_abstract_domain_baset
, value_set_fit
- changed_vars
: path_acceleratort
- char16_t_cnt
: cpp_convert_typet
- char32_t_cnt
: cpp_convert_typet
- char_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- char_is_unsigned
: configt::ansi_ct
- char_representation_length
: expr2javat
- char_width
: configt::ansi_ct
- character_preprocess
: java_bytecode_convert_classt
, java_bytecode_convert_methodt
, java_bytecode_languaget
- checked
: overflow_instrumentert
- checker
: scratch_programt
- children
: class_hierarchyt::entryt
- choice_symbols
: memory_model_baset
- chops
: java_bytecode_parse_treet::methodt::stack_map_table_entryt
- chunk
: sharing_mapt< keyT, valueT, hashT, predT >
- class_file_name
: java_class_loadert::jar_map_entryt::entryt
- class_hierarchy
: remove_instanceoft
, remove_virtual_functionst
, taint_analysist
- class_id
: remove_virtual_functionst::functiont
- class_identifier
: cpp_idt
- class_map
: class_hierarchyt
, java_class_loadert
- class_nb
: data_dpt
- class_refs
: java_bytecode_parse_treet
- classpath
: configt::javat
- clause_counter
: cnf_solvert
- clause_id
: clauset::stept
- clauses
: cnf_clause_listt
, resolution_prooft< T >
- clean_code
: c_typecheck_baset
- 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
, ms_cl_modet
, parse_options_baset
- cnt
: recursion_countert
- code
: goto_program_templatet< codeT, guardT >::instructiont
, java_bytecode_convert_methodt::converted_instructiont
- coeff
: monomialt
- column
: parsert
- com_constraints
: fence_insertert
- com_graph
: event_grapht
- coming_from
: instrumentert::cfg_visitort
, shared_bufferst::cfg_visitort
- comment
: goto_trace_stept
, symex_target_equationt::SSA_stept
- comment_set
: document_propertiest::doc_claimt
- comments
: irept::dt
- compact_output
: change_impactt
- compiled_functions
: compilet
- complex_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- components
: identifiert
- compound_counter
: ansi_c_scopet
, cpp_idt
- computed_gotos
: goto_convertt::targetst
- con
: sharing_nodet< keyT, valueT, predT, no_sharing >::dt
- concrete_nodes
: __CPROVER_jsa_abstract_heap
- cond_expr
: goto_trace_stept
, symex_target_equationt::SSA_stept
- cond_literal
: symex_target_equationt::SSA_stept
- cond_value
: goto_trace_stept
- condition
: bmc_covert::goalt::instancet
, cover_goalst::goalt
, prop_minimizet::objectivet
- conditions
: goto_program_coverage_recordt::coverage_linet
- cone_map
: cone_of_influencet
- const_cnt
: cpp_convert_typet
- const_graph_visitor
: fence_insertert
- const_removed
: goto_program2codet
- constant_pool
: java_bytecode_parsert
- constant_propagation
: goto_symext
, scratch_programt
- constexpr_cnt
: cpp_convert_typet
- constraint_list
: prop_conv_storet::constraintst
- constraints
: aig_plus_constraintst
, prop_conv_storet
- constraints_number
: fence_insertert
- constructor
: ansi_c_convert_typet
- container
: cfg_baset< T, P, I >::entry_mapt
- content
: data
- content_container
: xml_irep_convertt::ireps_containert
- context_bound
: path_searcht
- continue_is_allowed
: c_typecheck_baset
- continue_set
: goto_convertt::break_continue_targetst
, goto_convertt::targetst
- continue_stack_size
: goto_convertt::targetst
- continue_target
: goto_convertt::break_continue_targetst
, goto_convertt::targetst
- control_deps
: dep_graph_domaint
- conversion_table
: character_refine_preprocesst
- converted_compound
: dump_ct
- converted_enum
: dump_ct
- converted_global
: dump_ct
- converted_io_args
: symex_target_equationt::SSA_stept
- copied_symbol_table
: dump_ct
- core_enabled
: smt2_propt
- cost
: cpp_typecheck_resolvet::matcht
- count
: goto_symex_statet::framet::loop_infot
, unsigned_union_find::nodet
- coverage
: symex_coveraget
- covered_goals
: bmc_covert::testt
- cpool_index
: java_bytecode_parse_treet::methodt::verification_type_infot
- cpp
: configt
- cpp11
: ansi_c_parsert
- cpp98
: ansi_c_parsert
- cpp_bool_cnt
: cpp_convert_typet
- 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
- cur
: string_refinementt
- current
: member_offset_iterator
, prop_minimizet
- current_args
: string_abstractiont
- current_function
: Parser
, path_symex_statet::framet
- current_index_set
: string_refinementt
- current_linkage_spec
: cpp_typecheckt
- current_method
: java_bytecode_convert_methodt
- current_names
: goto_symex_statet::renaming_levelt
- current_pos
: cpp_token_buffert
- current_scope
: Parser
- current_scope_ptr
: cpp_scopest
- current_symbol
: c_typecheck_baset
- current_target
: goto_program_dereferencet
- current_thread
: instrumentert::cfg_visitort
, path_symex_statet
, shared_bufferst::cfg_visitort
- cycle_nb
: event_grapht::graph_explorert
- cycles
: shared_bufferst
- cycles_loc
: shared_bufferst
- cycles_r_loc
: shared_bufferst
- cycles_visitor
: fence_insertert