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

- p -

• pack() : ieee_floatt
• pad_type_symbol() : clang_c_adjust_irep2
• param_key() : preprocessor.function_value_types._Analysis
• parameter_arguments() : function_values
• parameter_assignments() : goto_inlinet
• parameter_call_returns_tagged() : dynamic_type_handler
• parent() : path
• parse() : clang_c_languaget, cmdlinet, expr_to_ibex_parser, fmt::formatter< BigInt >, fmt::formatter< expr2t >, fmt::formatter< exprt >, fmt::formatter< irep_idt >, fmt::formatter< irept >, fmt::formatter< locationt >, fmt::formatter< side_effect_expr_function_callt >, fmt::formatter< symbolt >, fmt::formatter< type2t >, fmt::formatter< typet >, jimple_languaget, language_uit, languaget, ld_languaget, parsert, PlcopenXmlParser, python_class, python_languaget, solidity_languaget, YamlPropertyParser
• parse_error() : parsert, TOML_PARSE_ERROR_BASE
• parse_expr() : clang_c_lexert
• parse_goto_program() : esbmc_parseoptionst
• parse_guard() : interval_analysis_ibex_contractor
• parse_result() : parse_result
• parse_scope() : parse_scope
• parse_solast() : solidity_languaget
• parseoptions_baset() : parseoptions_baset
• parser() : parser
• parsert() : parsert
• patch_old_snapshot_assigns() : frame_enforcert
• path() : file_operations::tmp_path, path
• path_component() : path_component
• path_guard_decides() : goto_symext
• pattern_checker() : pattern_checker
• peek() : parsert
• peek_eof() : utf8_buffered_reader, utf8_byte_stream< std::basic_string_view< Char > >, utf8_byte_stream< std::istream >, utf8_reader< T >, utf8_reader_interface
• perform_virtual_dispatch() : clang_c_convertert, clang_cpp_convertert
• persistent_map() : persistent_map< K, V, Hash >
• persistent_set() : persistent_set< K, Hash >
• phi_function() : goto_symext
• pin_symbolic_updates() : goto_symex_statet
• plus_exprt() : plus_exprt
• plus_infinity() : ieee_floatt
• pointees_havocable() : goto_loop_invariantt
• pointer_array_of() : smt_solver_baset
• pointer_array_write_unresolvable() : loopst
• pointer_checks() : goto_program_dereferencet
• pointer_expr() : pointer_logict
• pointer_logict() : pointer_logict
• pointer_offset2t() : pointer_offset2t
• pointer_rel_check() : goto_checkt
• pointer_repr_applies() : smt_solver_baset
• pointer_type2t() : pointer_type2t
• pointer_typet() : pointer_typet
• pointer_width() : configt::ansi_ct
• pointert() : pointer_logict::pointert
• points_to() : andersent
• points_to_top() : andersent
• pop_array_ctx() : array_convt, array_iface
• pop_back() : array
• pop_ctx() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, runtime_encoded_equationt, smt_convt, smt_solver_baset, smtlib_convt, symex_target_equationt, symex_targett, yices_convt, z3_convt
• pop_frame() : goto_symex_statet, goto_symext
• pop_last() : element_type_registry
• pop_tuple_ctx() : smt_tuple_node_flattener, tuple_iface
• populate_auxiliary_vars() : solidity_convertert
• populate_function_signature() : solidity_convertert
• populate_low_level_functions() : solidity_convertert
• post_hash_collision_cleanup() : reachability_treet
• pow_bigint_non_negative() : python_math
• power2() : BigInt
• power2m1() : BigInt
• pre() : scope_walker
• pre_ite() : tuple_node_smt_ast
• pre_register_inherited_vtables() : clang_cpp_convertert
• pre_solve() : smt_convt, smt_solver_baset
• predicate() : preprocessor.check_type_lowering._Lowering
• predicate_exprt() : predicate_exprt
• prefix() : guard_seq
• prefix_index() : goto_symext
• prepare_harness_entry_functions() : solidity_convertert
• prepare_module() : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• prepare_rhs_for_unpacking() : tuple_handler
• prepend() : path
• prepend_static_init() : ld_converter
• preprocess() : clang_c_languaget, goto2ct
• preprocess_constructor_calls() : python_annotation< Json >
• preprocess_function_calls() : python_annotation< Json >
• preprocess_method_calls() : python_annotation< Json >
• preprocess_receiver_method_calls() : python_annotation< Json >
• preprocessing() : esbmc_parseoptionst
• preserve_last_paths() : execution_statet
• pretty() : expr2t, irept, type2t
• pretty_name() : irept
• previous_frame() : goto_symex_statet
• print() : formatter, ieee_floatt, printf_formattert, renaming::level1t, renaming::level2t
• print_ileave_points() : esbmc_parseoptionst
• print_ileave_trace() : reachability_treet
• print_indent() : formatter
• print_model() : bitwuzla_convt, boolector_convt, mathsat_convt, smt_convt, smt_solver_baset, yices_convt, z3_convt
• print_newline() : formatter
• print_result() : ssa_features
• print_stack_trace() : goto_symex_statet
• print_stack_traces() : execution_statet
• print_string() : formatter
• print_unformatted() : formatter
• print_value() : formatter
• printf_output_length() : goto_symext
• printf_return_length() : goto_symext
• process() : picosha2::hash256_one_by_one
• process_aligned_attribute() : clang_c_convertert
• process_char() : printf_formattert
• process_clause() : bitblast_convt
• process_collected_imports() : parser.parser_cli.ImportResolverLike
• process_emitter() : smtlib_convt::process_emitter
• process_format() : printf_formattert
• process_format_spec() : string_handler
• process_function_contracts() : esbmc_parseoptionst
• process_goto_program() : esbmc_parseoptionst
• process_imports() : parser.parser_cli.ImportResolverLike
• process_instruction() : interval_domaint
• process_record_layout_attributes() : clang_c_convertert
• project() : array_sym_smt_ast, smt_ast, tuple_node_smt_ast, tuple_sym_smt_ast, yices_smt_ast, z3_smt_ast
• promote_int_to_float() : python_math
• promote_to_float_operand() : python_annotation< Json >
• promote_unary_bool_operand() : clang_c_adjust_irep2
• promote_unchecked_to_passed() : property_verdict_tablet
• proof_cachet() : proof_cachet
• propagate() : preprocessor.function_value_types._Analysis
• propagate_assume_equality() : goto_symext
• propagate_interval() : ir_ieee_convt
• propagate_nan_pred() : ir_ieee_convt
• propagate_neg_zero_pred() : ir_ieee_convt
• propagate_neg_zero_through_ite() : ir_ieee_convt
• property() : irept
• property_encoder() : property_encoder
• proved() : proof_cachet
• prune() : array, table
• ptr_free_arg() : type_handler
• ptr_mem2t() : ptr_mem2t
• ptrmem_typet() : ptrmem_typet
• push_array_ctx() : array_convt, array_iface
• push_back() : array, guard_seq, parse_key_buffer
• push_ctx() : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, runtime_encoded_equationt, smt_convt, smt_solver_baset, smtlib_convt, symex_target_equationt, symex_targett, yices_convt, z3_convt
• push_tuple_ctx() : smt_tuple_node_flattener, tuple_iface
• put() : queue.LifoQueue, queue.Queue
• put_in_working_set() : ai_baset, static_analysis_baset
• put_nowait() : queue.LifoQueue, queue.Queue
• pytest_generator() : pytest_generator
• python2goto_parseopt() : python2goto_parseopt
• python_adjust() : python_adjust
• python_annotation() : python_annotation< Json >
• python_class() : python_class
• python_class_builder() : python_class_builder
• python_consteval() : python_consteval
• python_converter() : python_converter
• python_dict_handler() : python_dict_handler
• python_exception_handler() : python_exception_handler
• python_file() : python_converter
• python_int_typet() : type_handler
• python_int_width() : type_handler
• python_lambda() : python_lambda
• python_list() : python_list
• python_math() : python_math
• python_set() : python_set
• python_should_skip_type_assertion() : goto_checkt
• python_typechecking() : python_typechecking