- p -

• p_ : Clasp::PairContains< T >
• pack : ProgramOptions::Value::ValueDesc
• pad : Clasp::SmallClauseAlloc::Block
• params_ : Clasp::BasicSolve
• parsed_ : ProgramOptions::ParsedOptions , ProgramOptions::ParsedValues
• parser_ : ProgramOptions::NotifiedValue< T > , ProgramOptions::StoredValue< T >
• partial : Clasp::SolveTestEvent
• pass_ : Clasp::Asp::Preprocessor
• path_ : Clasp::UncoreMinimize
• pending_ : ProgramOptions::Application
• picked : Clasp::DefaultUnfoundedCheck::BodyData
• pickedExt_ : Clasp::DefaultUnfoundedCheck
• pinned : Clasp::Solver::DBInfo
• pm : no_multi_threading::lock_guard< M >
• policy_ : Clasp::Distributor
• pos : Clasp::SatElite::SatElite::OccurList
• pos_ : Clasp::ClaspVmtf::VarInfo , Clasp::Lookahead , Clasp::DefaultMinimize , Clasp::StreamSource , Clasp::SatBuilder
• pos_flag : Clasp::Asp::RuleState
• posSize_ : Clasp::Asp::BodyInfo
• post_ : Clasp::Solver
• posT_ : Clasp::SatElite::SatElite
• posTop_ : Clasp::DefaultMinimize
• pre : Clasp::Test::SatEliteTest
• pre_ : Clasp::UncoreMinimize
• pref_ : Clasp::Assignment
• prep : Clasp::ClauseRep
• prg : Clasp::Test::RuleTest , Clasp::Test::RuleTransformTest
• prg_ : Clasp::Asp::Preprocessor , Clasp::SharedDependencyGraph::NonHcfComponent , Clasp::Asp::RuleTransform::AdaptBuilder , Clasp::Asp::SccChecker , Clasp::Asp::RuleTransform::Impl
• printPort : Clasp::Cli::ClaspAppOptions
• prio : Clasp::DomainHeuristic::DomAction , Clasp::Test::TestingPostProp , Clasp::DomainHeuristic::DomEntry , Clasp::DomainHeuristic::DomPrio
• problem_ : Clasp::SharedContext
• products_ : Clasp::PBBuilder
• progress_ : Clasp::SharedContext
• project : Clasp::EnumOptions , Clasp::ModelEnumerator::ModelFinder
• project_ : Clasp::ModelEnumerator
• propagates : Clasp::Test::TestingConstraint
• propQ_ : Clasp::Asp::LogicProgram
• props : Clasp::Test::TestingPostProp
• ptr_ : ProgramOptions::detail::IntrusiveSharedPtr< T > , Clasp::SingleOwnerPtr< T, D >
• pVal_ : Clasp::VarScore