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

- p -

• pack() : bv_arithmetict, float_bvt, float_utilst, ieee_float_valuet, irep_hash_container_baset
• pairs() : smt_get_value_responset
• parameter_assignments() : goto_inlinet, goto_symext
• parameter_assignmentst() : parameter_assignmentst
• parameter_destruction() : goto_inlinet
• parameter_identifiers() : code_typet
• parameter_indices() : code_typet
• parameter_sorts() : smt_declare_function_commandt
• parameter_symbolt() : parameter_symbolt
• parameters() : code_typet, smt_define_function_commandt
• parametert() : code_typet::parametert
• parse() : ansi_c_languaget, ansi_c_parsert, armcc_cmdlinet, as86_cmdlinet, as_cmdlinet, assembler_parsert, bcc_cmdlinet, c_definest, cmdlinet, compilet, cpp_languaget, cpp_parsert, gcc_cmdlinet, goto_cc_cmdlinet, identifiert, java_bytecode_languaget, java_bytecode_parsert, json_parsert, json_symtab_languaget, language_filest, languaget, ld_cmdlinet, lispexprt, mini_c_parsert, ms_cl_cmdlinet, ms_link_cmdlinet, parsert, smt2_parsert, statement_list_languaget, statement_list_parsert, xml_parsert
• parse_arguments() : cmdlinet, gcc_cmdlinet
• parse_array() : smt2_convt
• parse_brackets() : mini_c_parsert
• parse_declaration() : mini_c_parsert
• parse_declarator() : mini_c_parsert
• parse_env() : ms_cl_cmdlinet
• parse_error() : parsert
• parse_floatt() : parse_floatt
• parse_from_main_class() : java_bytecode_languaget
• parse_function_pointer_restriction() : function_pointer_restrictionst
• parse_function_pointer_restrictions() : function_pointer_restrictionst
• parse_function_pointer_restrictions_from_command_line() : function_pointer_restrictionst
• parse_function_pointer_restrictions_from_file() : function_pointer_restrictionst
• parse_gdb_output_record() : gdb_apit
• parse_goto_location() : memory_snapshot_harness_generatort
• parse_initializer() : mini_c_parsert
• parse_literal() : smt2_convt
• parse_local_variable_type_table() : java_bytecode_parsert
• parse_message() : inlining_decoratort
• parse_method_handle() : java_bytecode_parsert
• parse_options_baset() : parse_options_baset
• parse_optstring() : cmdlinet
• parse_post_declarator() : mini_c_parsert
• parse_pre_declarator() : mini_c_parsert
• parse_rec() : smt2_convt
• parse_replacement_list() : replace_callst
• parse_result() : external_satt
• parse_source() : compilet
• parse_source_location() : memory_snapshot_harness_generatort
• parse_specs() : gcc_cmdlinet
• parse_specs_line() : gcc_cmdlinet
• parse_stdin() : compilet
• parse_struct() : smt2_convt
• parse_union() : smt2_convt
• parse_unwind() : unwindsett
• parse_unwindset() : unwindsett
• parse_unwindset_file() : unwindsett
• parse_unwindset_one_loop() : unwindsett
• Parser() : Parser
• parsert() : parsert
• partial_evaluate() : constant_propagator_domaint
• partial_evaluate_with_all_rounding_modes() : constant_propagator_domaint
• partial_order_concurrencyt() : partial_order_concurrencyt
• partial_specialization_args() : cpp_declarationt
• partition_function_symbols() : dfcct
• path_acceleratort() : path_acceleratort
• path_nodet() : path_nodet
• patht() : path_storaget::patht
• patternt() : patternt
• pbs_dimacs_cnft() : pbs_dimacs_cnft
• pbs_solve() : pbs_dimacs_cnft
• peek() : mini_c_parsert, path_storaget, smt2_tokenizert
• perform_analysis() : goto_analyzer_parse_optionst, janalyzer_parse_optionst
• phi_function() : goto_symext
• piped_processt() : piped_processt
• place_leaf() : sharing_nodet< keyT, valueT, equalT >
• plus() : constant_interval_exprt
• plus_exprt() : plus_exprt
• plus_infinity() : ieee_float_valuet
• plus_overflow_exprt() : plus_overflow_exprt
• po() : memory_model_baset
• po_in() : event_grapht
• po_out() : event_grapht
• point_to_first_to_peek() : filter_iteratort< iteratort >
• pointer() : dereference_exprt, live_object_exprt, object_size_exprt, pointer_in_range_exprt, pointer_object_exprt, pointer_offset_exprt, prophecy_pointer_in_range_exprt, prophecy_r_or_w_ok_exprt, r_or_w_ok_exprt, writeable_object_exprt
• pointer_arithmetict() : pointer_arithmetict
• pointer_depth() : memory_snapshot_harness_generatort
• pointer_expr() : pointer_logict
• pointer_in_range_exprt() : pointer_in_range_exprt
• pointer_logict() : pointer_logict
• pointer_object_exprt() : pointer_object_exprt
• pointer_offset_exprt() : pointer_offset_exprt
• pointer_overflow_check() : goto_check_ct
• pointer_primitive_check() : goto_check_ct
• pointer_rel_check() : goto_check_ct
• pointer_typet() : pointer_typet
• pointer_validity_check() : goto_check_ct
• pointer_valuet() : gdb_apit::pointer_valuet
• pointerize_linker_defined_symbols() : linker_script_merget
• pointerize_subexprs_of() : linker_script_merget
• pointert() : pointer_logict::pointert
• points_to_member() : gdb_value_extractort
• points_tot() : points_tot
• polynomial_acceleratort() : polynomial_acceleratort
• pool_entry() : java_bytecode_parsert
• pop() : call_stackt, generic_parameter_specialization_mapt, java_bytecode_convert_methodt, json_parsert, path_storaget, prop_conv_solvert, smt2_convt, smt2_incremental_decision_proceduret, stack_decision_proceduret
• pop_entry() : designatort
• pop_residue() : java_bytecode_convert_methodt
• pop_scope() : ansi_c_parsert
• pop_unmarked_dstate() : trace_automatont
• popcount_exprt() : popcount_exprt
• populate() : class_hierarchy_grapht
• populate_cache() : rd_range_domaint
• populate_dep_graph() : dep_graph_domaint, variable_sensitivity_dependence_domaint
• populate_dirty_for_function() : incremental_dirtyt
• possible_keys() : dense_integer_mapt< K, V, KeyToDenseInteger >
• postconditiont() : postconditiont
• postponedt() : bv_pointers_widet::postponedt, bv_pointerst::postponedt
• power_exprt() : power_exprt
• pragma_cprover_add_check() : ansi_c_parsert
• pragma_cprover_clash() : ansi_c_parsert
• pragma_cprover_empty() : ansi_c_parsert
• pragma_cprover_pop() : ansi_c_parsert
• pragma_cprover_push() : ansi_c_parsert
• precondition() : acceleration_utilst, polynomial_acceleratort
• preconditiont() : preconditiont
• predicate() : smt_exists_termt, smt_forall_termt
• predicate_exprt() : predicate_exprt
• prefix_filtert() : prefix_filtert
• preordert() : memory_snapshot_harness_generatort::preordert< Key >
• prepare_for_convert_expr() : smt2_convt
• prepare_postponed_is_dynamic_object() : bv_pointerst
• prepare_postponed_object_size() : bv_pointerst
• prepare_property_decider() : multi_path_symex_checkert, single_path_symex_checkert
• prepend_instrumentation() : java_bytecode_instrumentt
• preprocess() : ansi_c_languaget, cpp_languaget, gcc_modet, java_bytecode_languaget, languaget
• preprocess_goto_model() : cegis_verifiert
• preprocess_model() : api_sessiont
• preprocessing() : cbmc_parse_optionst
• preprocessor() : preprocessort
• preprocessort() : preprocessort
• preserve_functions() : aggressive_slicert
• pretty() : graph_nodet< E >, irept, labelt, smt_check_sat_response_kindt, smt_commandt, smt_get_value_responset::valuation_pairt, smt_indext, smt_logict, smt_optiont, smt_responset, smt_sortt, smt_termt
• previous_frame() : call_stackt
• print() : ansi_c_scopet, api_message_handlert, bv_arithmetict, c_declarationt, cl_message_handlert, console_message_handlert, cpp_idt, data_dpt, designatort, event_grapht::critical_cyclet, gcc_message_handlert, ieee_float_valuet, inlining_decoratort, local_bitvector_analysist::flagst, message_handlert, new_scopet, null_message_handlert, printf_formattert, smt2_message_handlert, stream_message_handlert, template_mapt, ui_message_handlert
• print_all() : event_grapht::critical_cyclet
• print_assignment() : boolbvt, cnf_clause_list_assignmentt, decision_proceduret, prop_conv_solvert, smt2_convt, smt2_incremental_decision_proceduret
• print_backtrace() : goto_symex_statet
• print_callstack_entry() : goto_symext
• print_current() : cpp_scopest
• print_detail() : event_grapht::critical_cyclet
• print_dot() : event_grapht::critical_cyclet
• print_events() : event_grapht::critical_cyclet
• print_fields() : cpp_idt
• print_graph() : event_grapht
• print_map_function_graph() : instrumentert
• print_memory() : interpretert
• print_name() : event_grapht::critical_cyclet
• print_output() : event_grapht::critical_cyclet
• print_outputs() : instrumentert
• print_outputs_local() : instrumentert
• print_rec() : new_scopet
• print_rec_graph() : event_grapht
• print_symex_step() : goto_symext
• print_tree() : statement_list_parsert
• print_unsafes() : event_grapht::critical_cyclet
• print_warnings_as_errors() : cl_message_handlert, gcc_message_handlert
• printert() : generic_parameter_specialization_mapt::printert
• printf_formattert() : printf_formattert
• private_peek() : path_fifot, path_lifot, path_storaget
• private_pop() : path_fifot, path_lifot, path_storaget
• procedure_local_cfg_baset() : procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• process_array_expr() : goto_symext
• process_char() : printf_formattert
• process_cl_option() : ms_cl_cmdlinet
• process_clause() : cnft
• process_commands() : osx_mach_o_readert
• process_crangler_json() : crangler_parse_optionst
• process_format() : printf_formattert
• process_function() : remove_asmt
• process_goto_function() : janalyzer_parse_optionst, jbmc_parse_optionst
• process_goto_functions() : janalyzer_parse_optionst, jbmc_parse_optionst
• process_goto_program() : cbmc_parse_optionst, goto_analyzer_parse_optionst, goto_diff_parse_optionst, jdiff_parse_optionst
• process_instruction() : remove_asmt
• process_instruction_gcc() : remove_asmt
• process_instruction_msc() : remove_asmt
• process_link_option() : ms_link_cmdlinet
• process_loop() : k_inductiont
• process_non_cl_option() : ms_cl_cmdlinet
• process_non_link_option() : ms_link_cmdlinet
• process_operands() : java_string_library_preprocesst
• process_outstanding_assignments() : gdb_value_extractort
• process_parameters() : java_string_library_preprocesst
• process_response_file() : ms_cl_cmdlinet, ms_link_cmdlinet
• process_response_file_line() : ms_cl_cmdlinet, ms_link_cmdlinet
• process_sections_32() : osx_mach_o_readert
• process_sections_64() : osx_mach_o_readert
• process_whole_model_and_freeze() : lazy_goto_modelt
• produce_report() : solver_hardnesst
• program_order() : memory_model_sct, memory_model_tsot
• program_order_is_relaxed() : memory_model_psot, memory_model_sct, memory_model_tsot
• program_point_reachable() : cfg_dominators_templatet< P, T, post_dom >
• progress() : messaget
• prop_conv_solvert() : prop_conv_solvert
• prop_minimizet() : prop_minimizet
• prop_solve() : bv_refinementt, propt, qbf_bdd_coret, qbf_quantort, qbf_qube_coret, qbf_qubet, qbf_skizzo_coret, qbf_skizzot, qbf_squolem_coret, qbf_squolemt
• properties_criteriont() : properties_criteriont
• property_fatal() : source_locationt
• property_id() : propertyt
• property_infot() : property_infot
• propertyt() : propertyt
• prophecy_pointer_in_range_exprt() : prophecy_pointer_in_range_exprt
• prophecy_r_ok_exprt() : prophecy_r_ok_exprt
• prophecy_r_or_w_ok_exprt() : prophecy_r_or_w_ok_exprt
• prophecy_w_ok_exprt() : prophecy_w_ok_exprt
• propogate_dep_back() : change_impactt
• propogate_dep_forward() : change_impactt
• propt() : propt
• prune() : ai_storage_baset
• ptr_comparison_expr() : abstract_pointer_objectt, constant_pointer_abstract_objectt, two_value_pointer_abstract_objectt, value_set_pointer_abstract_objectt
• ptr_diff() : abstract_pointer_objectt, constant_pointer_abstract_objectt, two_value_pointer_abstract_objectt, value_set_pointer_abstract_objectt
• ptr_pred_ctx_init_call() : dfcc_libraryt
• ptr_pred_ctx_reset_call() : dfcc_libraryt
• push() : java_bytecode_convert_methodt, json_parsert, path_fifot, path_lifot, path_storaget, prop_conv_solvert, smt2_convt, smt2_incremental_decision_proceduret, stack_decision_proceduret
• push_back() : abstract_object_sett, event_grapht::critical_cyclet, expanding_vectort< T >, json_arrayt, json_stream_arrayt, json_stream_objectt, range_domaint
• push_back_stream_array() : json_stream_arrayt, json_stream_objectt
• push_back_stream_object() : json_stream_arrayt, json_stream_objectt
• push_entry() : designatort
• push_expr() : const_unique_depth_iteratort, depth_iterator_baset< depth_iterator_t >
• push_front() : event_grapht::critical_cyclet
• push_nondet() : acceleration_utilst
• push_output() : smt_term_to_string_convertert
• push_outputs() : smt_term_to_string_convertert
• put_compound_into_scope() : cpp_typecheckt
• put_in_working_set() : ai_baset, flow_insensitive_analysis_baset
• put_into_scope() : cpp_scopest