- p -
- packedt
: irep_hash_container_baset
- parameter_identifierst
: goto_functiont
- parameter_indicest
: code_typet
- parameter_sett
: interpretert
- parameterst
: code_typet
- 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
- pointeet
: small_shared_two_way_ptrt< U, V >
- 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
- 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
- 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
- property_mapt
: property_checkert
- ptr_hasht
: irep_hash_container_baset