- p -

• pack() : bv_arithmetict , float_bvt , float_utilst , ieee_floatt , 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_floatt
• 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_floatt , 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
• 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