- p -

• p1 : TlClause
• p2 : TlClause
• page : ApproxInfo
• pageList : CalNodeManagerStruct
• pageManager : CalNodeManagerStruct
• pageManager1 : Cal_BddManagerStruct
• pageManager2 : Cal_BddManagerStruct
• pageSegmentArray : CalPageManagerStruct
• pairIndex : DdSubtable
• parent : MtrNode
• parity : NodeData
• peakLiveNodes : DdManager
• perm : DdManager
• permZ : DdManager
• phases : DdTlcInfo
• pipelineDepth : Cal_BddManagerStruct
• pipelineFn : Cal_BddManagerStruct
• pipelineState : Cal_BddManagerStruct
• plusinfinity : DdManager
• populationSize : DdManager
• pos : cuddPathPair
• postGCHook : DdManager
• postReorderingHook : DdManager
• preGCHook : DdManager
• preReorderingHook : DdManager
• prev : BlockStruct , block_
• prev_col : sm_col_struct , sm_element_struct
• prev_row : sm_element_struct , sm_row_struct
• prevPtr : list_elem
• primes : DdGen