- p -

• partial_called : CVC3::TheoryQuant
• path_length_in_edges : CVC3::TheoryArithOld::TheoryArithOld::DifferenceLogicGraph::TheoryArithOld::DifferenceLogicGraph::EdgeInfo
• pbSize : std::fdinbuf
• PlusInfinity : CVC3::TheoryArithNew::TheoryArithNew::EpsRational , CVC3::TheoryArithOld::TheoryArithOld::DifferenceLogicGraph::TheoryArithOld::DifferenceLogicGraph::EpsRational
• polarity : CVC3::Trigger
• prompt : CVC3::ParserTemp
• prompt1 : CVC3::ParserTemp
• prompt2 : CVC3::ParserTemp
• propagate : CVC3::TheoryArithNew
• propagations : MiniSat::SolverStats