- p -

• PageAlign() : calMemoryManagement.c
• pageFaults() : calPerformanceTest.c
• PageManagerExpandStorage() : calMemoryManagement.c
• PairInTables() : cuddDecomp.c
• PickOnePair() : cuddDecomp.c
• PMX() : cuddGenetic.c
• pop_cube_stack() : cmuPortIter.c , calPortIter.c
• pop_node_stack() : calPortIter.c , cmuPortIter.c
• print_bdd() : testbdd.c , mdd_util.c
• print_bdd_list_id() : mdd_util.c
• print_bvar_list_id() : mdd_util.c
• print_mvar_list() : mdd_util.c
• print_strides() : mdd_util.c
• PrintBdd() : calTest.c
• push_cube_stack() : cmuPortIter.c , calPortIter.c
• push_node_stack() : cmuPortIter.c , calPortIter.c
• pushDown() : cuddExact.c