- p -

p : patternt , small_mapt< T, Ind, Num > , small_shared_n_way_ptrt< Ts >
p_impl : function_call_harness_generatort
packed : ansi_c_convert_typet
padding_sequence : smt2_incremental_decision_proceduret
param_assignments : interpretert::function_assignments_contextt
param_index : generic_parameter_specialization_mapt::container_paramt
param_numbers_to_havoc : havoc_generate_function_bodiest
param_to_container : generic_parameter_specialization_mapt
parameter_annotations : java_bytecode_parse_treet::methodt
parameter_identifiers : goto_functiont
parameter_map : c_typecheck_baset , string_abstractiont
parameter_names : framet
parameter_number : taint_parse_treet::rulet
parameter_sorts : smt_command_functiont
parameter_to_history : replace_history_parametert
parameters : c_definest::definet , function_cfg_infot , smt2_parsert::signature_with_parameter_idst
parameters_to_havoc : havoc_generate_function_bodiest
params : statement_list_languaget
parent : cpp_idt , new_scopet , unsigned_union_find::nodet
parenthesis_counter : ansi_c_parsert , cpp_parsert
parenthesis_level : smt2_parsert
parents : class_hierarchyt::entryt
parse_path : ansi_c_languaget , cpp_languaget , statement_list_languaget
parse_result : parse_options_baset
parse_tree : ansi_c_languaget , ansi_c_parsert , ansi_c_typecheckt , cpp_parsert , java_bytecode_parsert , Parser , statement_list_languaget , statement_list_parsert , statement_list_typecheckt , xml_parsert
parsed_argv : goto_cc_cmdlinet
parsed_class : java_bytecode_parse_treet
parsed_json_file : json_symtab_languaget
parsed_output : smt2_parser_test_resultt
partial_inlining_done : goto_instrument_parse_optionst
partial_interpretation : float_approximationt
partial_loops : symex_configt
past_writes : shared_bufferst::cfg_visitort
path : java_class_loader_baset::classpath_entryt , path_acceleratort , temp_dirt , workt
path_enumerator : enumerating_loop_accelerationt
path_limit : enumerating_loop_accelerationt
path_segment_vccs : goto_symext
path_storage : goto_symext , multi_path_symex_only_checkert , scratch_programt , single_loop_incremental_symex_checkert
paths : path_fifot , path_lifot
pb_constraintmap : pbs_dimacs_cnft
pbs_path : pbs_dimacs_cnft
PC : cfg_base_nodet< T, I >
pc : check_call_sequencet::statet
PC : dep_nodet
pc : goto_symex_statet::threadt , goto_trace_stept , interpretert , property_infot , solver_hardnesst::hardness_ssa_keyt , symex_targett::sourcet
PC : vs_dep_nodet
pcs : solver_hardnesst::assertion_statst
peeked : smt2_tokenizert
PERCENT_SIGN : format_specifiert
picosat : satcheck_picosatt
pipe_input : piped_processt
pipe_output : piped_processt
pivot_var_no : clauset::stept
po_graph : event_grapht
po_order : event_grapht
point_stack : event_grapht::graph_explorert
pointee : gdb_apit::pointer_valuet
pointer : pointer_arithmetict , value_set_dereferencet::valuet
pointer_abstract_type : vsd_configt
pointer_guard : value_set_dereferencet::valuet
pointer_logic : bv_pointers_widet , bv_pointerst , smt2_convt
pointer_option_mappings : vsd_configt
pointer_sizes_map : smt2_incremental_decision_proceduret
pointer_type_selector : ci_lazy_methods_neededt , ci_lazy_methodst , java_bytecode_languaget , java_object_factoryt
pointer_width : configt::ansi_ct
pointers : local_bitvector_analysist
pointers_to_treat_as_arrays : recursive_initialization_configt
pointers_to_treat_as_cstrings : recursive_initialization_configt
pointers_to_treat_equal : recursive_initialization_configt
polynomial_accelerator : enumerating_loop_accelerationt
pop : bytecode_infot
pos : ctokenitt
pos_invariant_clause_map : enumerative_loop_contracts_synthesizert
position : string_set_char_builtin_functiont
possible_keys_vector : dense_integer_mapt< K, V, KeyToDenseInteger >
possible_states : nfat< T >::statet
post_declarator : c_declarationt
post_dominators : dependence_grapht , variable_sensitivity_dependence_grapht
post_process_function : lazy_goto_functions_mapt , lazy_goto_modelt
post_process_functions : lazy_goto_modelt
post_processing_done : prop_conv_solvert
postamble : dfcc_wrapper_programt
postconditions : dfcc_wrapper_programt
postponed_list : bv_pointers_widet , bv_pointerst
potential_null_function_pointers : recursive_initialization_configt
poUrfe_order : event_grapht
pragma_cprover_stack : ansi_c_parsert
pragma_pack : ansi_c_parsert
pre_declarator : c_declarationt
preamble : dfcc_wrapper_programt
precision : format_specifiert , format_spect , format_tokent
preconditions : dfcc_wrapper_programt
predecessors : java_bytecode_convert_methodt::converted_instructiont
prefix : ansi_c_scopet , cpp_idt , goto_convertt::targetst
prefixed_name : ansi_c_identifiert
premise : string_not_contains_constraintt
preorder_relation : memory_snapshot_harness_generatort::preordert< Key >
preprocessing_limit : satcheck_cadical_baset
preprocessor : configt::ansi_ct
preprocessor_options : configt::ansi_ct
preserve_all_direct_paths : aggressive_slicert
pretty_name : symbolt
prev_value : address_of_aware_replace_symbolt::set_require_lvalue_and_backupt
previous : __CPROVER_jsa_abstract_node , __CPROVER_jsa_concrete_node , local_control_flow_decisiont
previous_index : __CPROVER_jsa_iterator
previous_line_no : parsert
previous_node_id : __CPROVER_jsa_iterator
print_enum_int_value : expr2c_configurationt
print_struct_body_in_type : expr2c_configurationt
process : smt_piped_solver_processt
process_state : piped_processt
processed_functions : lazy_goto_functions_mapt
produce_hybrid_binary : as_modet , gcc_modet
productions_map : enumerator_factoryt
program : acceleratet , cone_of_influencet , overflow_instrumentert
progress : bv_refinementt , incremental_goto_checkert::resultt
proof : satcheck_minisat1_prooft
prop : boolbv_mapt , bv_refinementt::infot , bv_utilst , float_utilst , prop_conv_solvert
prop_conv : prop_minimizet
prop_ptr : solver_factoryt::solvert
propagation : goto_statet
proper_bool_cnt : ansi_c_convert_typet
properties : cegis_verifiert , goto_verifiert
property_class : cover_instrumenter_baset
property_decider : multi_path_symex_checkert , single_loop_incremental_symex_checkert , single_path_symex_checkert
property_id : goto_trace_stept , SSA_stept
property_id_to_trace_index : goto_trace_storaget
property_ids : properties_criteriont
ptr32_cnt : ansi_c_convert_typet
ptr64_cnt : ansi_c_convert_typet
ptr_hash : irep_hash_container_baset
pure_accelerator : path_acceleratort
pure_contract_symbol : dfcc_contract_functionst
pure_contract_symbols : dfcct
push : bytecode_infot