- p -
- pa
: ExtSourceProperties
- papAspCtxAcc
: ProgramMCSMedEQProgramCtxFixture
, ProgramMCSMedDProgramCtxFixture
- papCount
: ProgramExt1ProgramCtxFixture
- papReach
: ProgramExt1ProgramCtxFixture
- params
: DLVResultGrammar< Iterator >
- parser
: ProgramCtx
, FunctionPlugin::CtxData
- pattern
: ComfortPluginAtom::ComfortQuery
, PluginAtom::Query
- pc_vector_
: bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
- pc_vector_stat_
: bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
- pimpl
: InputProvider
, Registry
- PLUGIN
: Logger
- plugin
: PluginContainer::LoadedPlugin
- pluginAtom
: ExternalAtom
- pluginAtoms
: ProgramCtx
- pluginData
: ProgramCtx
- pluginEnvironment
: ProgramCtx
- pluginInterfaces
: PluginContainer
- pluginName
: PluginInterface
- pluginOptions
: Config
- plugins
: PluginContainer
- pMode
: DLVResultParser
- pos
: bm::bvector< Alloc >::iterator_base::bitblock_descr
- pos_
: Term::VecRef
- posinteger
: HexGrammarBase< Iterator, Skipper >
- position_
: bm::bvector< Alloc >::reference
, bm::bvector< Alloc >::iterator_base
- positionsOfPredicate
: InternalGrounder
- positiveConstraint
: DependencyGraph::DependencyInfo
- positiveExternal
: DependencyGraph::DependencyInfo
- positiveRegularRule
: DependencyGraph::DependencyInfo
- pospred
: BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB
, BaseModelGenerator::VerifyExternalAtomCB
- postprocessedInput
: GenuineGuessAndCheckModelGenerator
, GenuinePlainModelGenerator
, GuessAndCheckModelGenerator
, PlainModelGenerator
- pred
: HexGrammarBase< Iterator, Skipper >
- predDecl
: HexGrammarBase< Iterator, Skipper >
- predicate
: ExternalAtom
, ModuleAtom
, LiberalSafetyChecker::Attribute
, PluginAtom
- predicateArity
: LiberalSafetyChecker
- predicateID
: PluginAtom
- predicateInputConstants
: HigherOrderPlugin::CtxData
- predicateInputMask
: PluginAtom::Query
- predicateParameterNameIndependence
: ExtSourceProperties
- predicates
: PredicateMask
- predicatesDefinedInComponent
: ComponentGraph::ComponentInfo
- predicatesOccurringInComponent
: ComponentGraph::ComponentInfo
- predicatesOfStratum
: InternalGrounder
- predList
: HexGrammarBase< Iterator, Skipper >
- preds
: HexGrammarBase< Iterator, Skipper >
, Registry
- preparedTuple
: ExternalAtomMask
- preparedUnfoundedSetCheckers
: UnfoundedSetCheckerManager
- prev_block_border_bit_
: bm::blocks_manager< Alloc >::block_count_change_func
- previouslyAssignedAndVerifiedAtoms
: UnfoundedSetCheckHeuristics
- primitiveTerm
: HexGrammarBase< Iterator, Skipper >
- printInterval
: benchmark::nestingAware::NestingAwareController
- printlevels
: Logger
- prints
: benchmark::simple::BenchmarkController::Stat
- printSkip
: benchmark::simple::BenchmarkController
- problemRuleCount
: AssumptionBasedUnfoundedSetChecker
- proc
: DLVProcess
, SimpleEvaluator
- program
: ProgramMCSMedEQProgramCtxFixture
, AnnotatedGroundProgram::ProgramComponent
, InternalGroundASPSolver
, ProgramExt1ProgramCtxFixture
, ProgramMCSMedDProgramCtxFixture
- programComponents
: AnnotatedGroundProgram
- programMask
: AnnotatedGroundProgram
, GenuineGuessAndCheckModelGenerator
- prop
: PluginAtom
, ExternalAtom
- propagator
: CDNLSolver
- PROPERTY_ATOM_HIDDEN
: ID
- PROPERTY_AUX
: ID
- PROPERTY_EXTERNALAUX
: ID
- PROPERTY_EXTERNALINPUTAUX
: ID
- PROPERTY_FLPAUX
: ID
- PROPERTY_GUARDAUX
: ID
- PROPERTY_MASK
: ID
- PROPERTY_RULE_DISJ
: ID
- PROPERTY_RULE_EXTATOMS
: ID
- PROPERTY_RULE_HEADGUARD
: ID
- PROPERTY_RULE_MODATOMS
: ID
- PROPERTY_RULE_UNMODATOMS
: ID
- PROPERTY_SHIFT
: ID
- PROPERTY_TERM_RANGE
: ID
- PROPERTY_VAR_ANONYMOUS
: ID
- providesPartialAnswer
: ExtSourceProperties
- ptr
: bm::bvector< Alloc >::iterator_base::bitblock_descr
, bm::bvector< Alloc >::iterator_base::dgap_descr
- ptr_
: bm::ptr_guard< T >
, Term::PtrRef
- ptr_alloc_
: bm::mem_alloc< BA, PA >
- pureDuration
: benchmark::nestingAware::NestingAwareController::Stat