- p -
- p
: patternt
, small_mapt< T, Ind, Num >
, small_shared_two_way_ptrt< U, V >
- packed
: ansi_c_convert_typet
- param_assignments
: interpretert::function_assignments_contextt
- parameter_identifiers
: goto_functiont
- parameter_map
: c_typecheck_baset
- parameter_number
: taint_parse_treet::rulet
- parameters_to_havoc
: havoc_generate_function_bodiest
- parent
: cpp_idt
, new_scopet
, unsigned_union_find::nodet
- parent_assumptions
: bv_refinementt
- parenthesis_counter
: ansi_c_parsert
, cpp_parsert
- parents
: class_hierarchyt::entryt
- parse_path
: ansi_c_languaget
, cpp_languaget
, jsil_languaget
- parse_result
: parse_options_baset
- parse_tree
: ansi_c_languaget
, ansi_c_parsert
, ansi_c_typecheckt
, cpp_parsert
, java_bytecode_parsert
, jsil_languaget
, jsil_parsert
, xml_parsert
- parsed_argv
: goto_cc_cmdlinet
- parsed_class
: java_bytecode_parse_treet
- parser
: Parser
- partial_inlining_done
: goto_instrument_parse_optionst
- partial_interpretation
: float_approximationt
- past_writes
: shared_bufferst::cfg_visitort
- path
: path_acceleratort
, temp_dirt
- path_enumerator
: enumerating_loop_accelerationt
- path_limit
: enumerating_loop_accelerationt
- path_storage
: bmct
, goto_symext
, scratch_programt
- path_strategy_chooser
: cbmc_parse_optionst
, jbmc_parse_optionst
- 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
, symex_targett::sourcet
- peeked
: smt2_tokenizert
- PERCENT_SIGN
: string_constraint_generatort::format_specifiert
- picosat
: satcheck_picosatt
- pivot_var_no
: clauset::stept
- po_graph
: event_grapht
- po_order
: event_grapht
- point_stack
: event_grapht::graph_explorert
- pointer
: pointer_arithmetict
- pointer_guard
: value_set_dereferencet::valuet
- pointer_logic
: bv_pointerst
, smt2_convt
- 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
- polynomial_accelerator
: enumerating_loop_accelerationt
- pop
: bytecode_infot
- position
: string_set_char_builtin_functiont
- post_dominators
: dependence_grapht
- post_process_function
: lazy_goto_functions_mapt
, lazy_goto_modelt
- post_process_functions
: lazy_goto_modelt
- post_processing_done
: prop_conv_solvert
- postponed_list
: bv_pointerst
- poUrfe_order
: event_grapht
- pragma_pack
: ansi_c_parsert
- precision
: format_spect
, format_tokent
, string_constraint_generatort::format_specifiert
- predecessors
: java_bytecode_convert_methodt::converted_instructiont
- prefix
: ansi_c_scopet
, cpp_idt
- prefixed_name
: ansi_c_identifiert
- preprocessor
: configt::ansi_ct
- preprocessor_options
: configt::ansi_ct
- preserve_all_direct_paths
: aggressive_slicert
- pretty_name
: symbolt
- previous
: __CPROVER_jsa_abstract_node
, __CPROVER_jsa_concrete_node
- previous_index
: __CPROVER_jsa_iterator
- previous_line_no
: parsert
- previous_node_id
: __CPROVER_jsa_iterator
- proc_name
: jsil_typecheckt
- processed_functions
: lazy_goto_functions_mapt
- produce_hybrid_binary
: as_modet
, gcc_modet
- program
: acceleratet
, cone_of_influencet
, overflow_instrumentert
- progress
: bv_refinementt
- proof
: satcheck_minisat1_prooft
- prop
: boolbv_mapt
, bv_refinementt::infot
, bv_utilst
, float_utilst
, prop_conv_solvert
- prop_conv
: bmct
, cover_goalst
, functionst
, prop_minimizet
- prop_conv_ptr
: cbmc_solverst::solvert
- prop_ptr
: cbmc_solverst::solvert
- propagation
: goto_symex_statet::goto_statet
, goto_symex_statet
- proper_bool_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- property_class
: cover_instrumenter_baset
- property_ids
: properties_criteriont
- property_map
: property_checkert
- ptr32_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- ptr64_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- ptr_hash
: irep_hash_container_baset
- pure_accelerator
: path_acceleratort
- push
: bytecode_infot