- p -
- PluginDataContainer
: ProgramCtx
- PluginEnvironmentContainer
: ProgramCtx
- PluginInterfaceVector
: PluginContainer
- pointer
: bm::bvector< Alloc >::insert_iterator
, bm::bvector< Alloc >::enumerator
, bm::bvector< Alloc >::insert_iterator
, bm::bvector< Alloc >::enumerator
- position_type
: bm::encoder
- PredecessorIterator
: ComponentGraph
, DependencyGraph
, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
, LiberalSafetyChecker
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
- PredicateArityMap
: StrongNegationPlugin::CtxData
- PredicateIndex
: ExternalAtomTable
, ModuleAtomTable
, OrdinaryAtomTable
- PredicateInputSet
: HigherOrderPlugin::CtxData
- PredicateIterator
: ExternalAtomTable
, ModuleAtomTable
, OrdinaryAtomTable
- PredicateNameIndex
: PredicateTable
- PrintFn
: print_method_container
- ProgramComponentPtr
: AnnotatedGroundProgram
- Ptr
: ModelGeneratorBase< InterpretationT >
, CDNLSolver
, GenuineGroundSolver
, SimpleNogoodContainer
, NogoodContainer
, InternalGroundASPSolver
, InternalGrounder
, UnfoundedSetCheckerManager
, ModelGeneratorFactoryBase< InterpretationT >
, GenuineSolver
, LiberalSafetyPluginFactory
, UnfoundedSetChecker
, SATSolver
, Interpretation
, GenuineGrounder
, TestInterpretation
, NogoodGrounder
, InternalGroundDASPSolver
, LiberalSafetyPlugin
, AnswerSet
, ExternalAtomVerificationTree::Node
, AnnotatedGroundProgram::ProgramComponent
- ptr_allocator_type
: bm::mem_alloc< BA, PA >