- p -
- packedt
: irep_hash_container_baset
- parameter_identifierst
: goto_functiont
- parameter_indicest
: code_typet
- parameter_sett
: interpretert
- parameterst
: code_typet
, java_method_typet
- parent_analysist
: loop_with_parent_analysis_templatet< T >
- parentt
: lexical_loops_templatet< P, T >
, natural_loops_templatet< P, T >
- parse_tree_with_overlayst
: java_class_loadert
- parse_tree_with_overridest_mapt
: java_class_loadert
- parsed_argvt
: goto_cc_cmdlinet
- patht
: grapht< N >
- per_thread_mapt
: memory_model_baset
- pointee_baset
: small_shared_n_way_ptrt< Ts >
- pointer
: concat_iteratort< first_iteratort, second_iteratort >
, depth_iterator_baset< depth_iterator_t >
, filter_iteratort< iteratort >
, lazy_goto_functions_mapt
, map_iteratort< iteratort, outputt >
, symbol_table_baset::iteratort
, zip_iteratort< first_iteratort, second_iteratort, same_size >
- pointer_valuet
: gdb_value_extractort
- points_tot
: local_bitvector_analysist
- polynomial_array_assignmentst
: acceleration_utilst
, polynomial_acceleratort
- polynomial_array_assignmentt
: polynomial_acceleratort
- pool_entry_lookupt
: structured_pool_entryt
- pool_entryt
: structured_pool_entryt
- possible_keyst
: dense_integer_mapt< K, V, KeyToDenseInteger >
- post
: cpp_token_buffert
- post_dominators_mapt
: dependence_grapht
- post_process_functionst
: lazy_goto_modelt
- post_process_functiont
: lazy_goto_functions_mapt
, lazy_goto_modelt
- postponed_listt
: bv_pointerst
- ptr_hasht
: irep_hash_container_baset