- p -

• partial_called : CVC3::TheoryQuant
• path_length_in_edges : CVC3::TheoryArithOld::DifferenceLogicGraph::EdgeInfo
• pbSize : std::fdinbuf
• pf_counter : LFSCProof
• pfinal : LFSCConvert
• pfV : LFSCPfLambda
• PlusInfinity : CVC3::TheoryArithOld::DifferenceLogicGraph::EpsRational , CVC3::TheoryArithNew::EpsRational
• pntNeeded : LFSCObj
• polarity : CVC3::Trigger
• preprocess_strategy : CSolverParameters
• printCounter : LFSCProof
• printer : LFSCObj
• prompt : CVC3::ParserTemp
• prompt1 : CVC3::ParserTemp
• prompt2 : CVC3::ParserTemp
• propagate : CVC3::TheoryArithNew
• propagations : MiniSat::SolverStats