Here is a list of all struct and union fields with links to the structures/unions they belong to:

- p -

• pa : ExtSourceProperties
• papAspCtxAcc : ProgramMCSMedEQProgramCtxFixture , ProgramMCSMedDProgramCtxFixture
• papCount : ProgramExt1ProgramCtxFixture
• papReach : ProgramExt1ProgramCtxFixture
• params : DLVResultGrammar< Iterator > , bm::tmatrix< T, ROWS, COLS >
• parse() : DLVResultParser , HexParser , ModuleHexParser , ProgramCtx , State , ParseState
• ParseMode : DLVResultParser
• parser : FunctionPlugin::CtxData , ProgramCtx
• ParserState() : ParserState
• ParseState() : ParseState
• path() : DLVProcess , Process
• 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 >
• permute() : TestListDomainAtom
• pimpl : InputProvider , Registry
• PlainAuxPrinter() : PlainAuxPrinter
• PlainModelGenerator : PlainModelGeneratorFactory , PlainModelGenerator
• PlainModelGeneratorFactory() : PlainModelGeneratorFactory
• plugin : PluginContainer::LoadedPlugin
• PLUGIN : Logger
• PLUGIN_LOADING : Configuration
• pluginAtom : ExternalAtom
• PluginAtom() : PluginAtom
• pluginAtomMap() : ProgramCtx
• pluginAtoms : ProgramCtx
• pluginContainer() : ProgramCtx
• PluginContainer() : PluginContainer
• PluginData() : PluginData
• pluginData : ProgramCtx
• PluginDataContainer : ProgramCtx
• pluginEnvironment : ProgramCtx
• PluginEnvironment() : PluginEnvironment
• PluginEnvironmentContainer : ProgramCtx
• PluginError() : PluginError
• PluginInterface() : PluginInterface
• pluginInterfaces : PluginContainer
• PluginInterfaceVector : PluginContainer
• pluginName : PluginInterface
• pluginOptions : Config
• PluginPtrDeleter() : PluginPtrDeleter< AllocatedT >
• PluginPtrNOPDeleter() : PluginPtrNOPDeleter< AllocatedT >
• PluginRewriter() : PluginRewriter
• plugins : PluginContainer
• pMode : DLVResultParser
• pointer : bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::insert_iterator , bm::bvector< Alloc >::enumerator , bm::bvector< Alloc >::insert_iterator
• popMessage() : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• 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
• position_type : bm::encoder
• positionsOfPredicate : InternalGrounder
• positiveConstraint : DependencyGraph::DependencyInfo
• positiveExternal : DependencyGraph::DependencyInfo
• positiveRegularRule : DependencyGraph::DependencyInfo
• posLiteralFromAtom() : ID
• pospred : BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB , BaseModelGenerator::VerifyExternalAtomCB
• postProcess() : ProgramCtx , State , PostProcessState
• postprocessedInput : GenuineGuessAndCheckModelGenerator , GenuinePlainModelGenerator , GuessAndCheckModelGenerator , PlainModelGenerator
• PostProcessState() : PostProcessState
• pred : HexGrammarBase< Iterator, Skipper >
• predDecl : HexGrammarBase< Iterator, Skipper >
• PredecessorIterator : ComponentGraph , DependencyGraph , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , LiberalSafetyChecker , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• predicate : ExternalAtom , ModuleAtom , LiberalSafetyChecker::Attribute , PluginAtom
• Predicate() : Predicate
• PREDICATE : PluginAtom
• predicateArity : LiberalSafetyChecker
• PredicateArityMap : StrongNegationPlugin::CtxData
• predicateID : PluginAtom
• PredicateIndex : ExternalAtomTable , ModuleAtomTable , OrdinaryAtomTable
• predicateInputConstants : HigherOrderPlugin::CtxData
• predicateInputMask : PluginAtom::Query
• PredicateInputSet : HigherOrderPlugin::CtxData
• PredicateIterator : ExternalAtomTable , ModuleAtomTable , OrdinaryAtomTable
• PredicateMask() : PredicateMask
• PredicateNameIndex : PredicateTable
• predicateParameterNameIndependence : ExtSourceProperties
• predicates : PredicateMask
• predicatesDefinedInComponent : ComponentGraph::ComponentInfo
• predicatesOccurringInComponent : ComponentGraph::ComponentInfo
• predicatesOfStratum : InternalGrounder
• predList : HexGrammarBase< Iterator, Skipper >
• preds : HexGrammarBase< Iterator, Skipper > , Registry
• PreparedResults() : PreparedResults
• preparedTuple : ExternalAtomMask
• preparedUnfoundedSetCheckers : UnfoundedSetCheckerManager
• preprocessComponents() : DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode
• preprocessRule() : InternalGrounder
• prev_block_border_bit_ : bm::blocks_manager< Alloc >::block_count_change_func
• previouslyAssignedAndVerifiedAtoms : UnfoundedSetCheckHeuristics
• primitiveTerm : HexGrammarBase< Iterator, Skipper >
• print() : AnswerSet , OrdinaryAtom , BuiltinAtom , AggregateAtom , ExternalAtom , ModuleAtom , ComfortTerm , ComfortAtom , ComfortInterpretation , ComponentGraph::ComponentInfo , ComponentGraph::DependencyInfo , DependencyGraph::NodeInfo , DependencyGraph::DependencyInfo , none_t , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundle , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle , ExternalAtomTable , FinalEvalUnitPropertyBase , GenuineGuessAndCheckModelGeneratorFactory , GenuinePlainModelGeneratorFactory , GenuineWellfoundedModelGeneratorFactory , GuessAndCheckModelGeneratorFactory , ID , Interpretation , LiberalSafetyChecker::Attribute , ModelBuilder< EvalGraphT >::ModelProperties , InterpretationBase , ModelGeneratorBase< InterpretationT > , ModelGeneratorFactoryBase< InterpretationT > , EvalUnitModelGeneratorFactoryProperties< InterpretationT > , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle , Module , ModuleTable , Nogood , NogoodSet , PlainAuxPrinter , PlainModelGeneratorFactory , Predicate , Printer , RawPrinter , print_container , print_stream_container< T > , print_method_container , AuxPrinter , Registry , Rule , RuleTable , Table< ValueT, IndexT > , Term , WellfoundedModelGeneratorFactory , TestInterpretation , TestModelGeneratorFactory::ModelGenerator , TestModelGeneratorFactory , Term
• print_method_container() : print_method_container
• print_stream_container() : print_stream_container< T >
• printAsFacts() : Interpretation
• printAsNumber() : Interpretation
• printAtomForUser() : Registry
• printCount() : benchmark::nestingAware::NestingAwareController , benchmark::simple::BenchmarkController
• printCounters() : CounterVerification< EvalGraphT >
• printDuration() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• Printer() : Printer
• printEUMBP() : OnlineModelBuilder< EvalGraphT >
• printEUMBPhelper() : OnlineModelBuilder< EvalGraphT >
• printEvalGraphModelGraph() : ModelBuilder< EvalGraphT > , OfflineModelBuilder< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
• PrintFn : print_method_container
• printInformation() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• printInformationContinous() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• printInSecs() : benchmark::simple::BenchmarkController , benchmark::nestingAware::NestingAwareController
• printInterval : benchmark::nestingAware::NestingAwareController
• printlevels : Logger
• printmany() : Printer
• printModelBuildingPropertyMap() : ModelBuilder< EvalGraphT > , OfflineModelBuilder< EvalGraphT > , OnlineModelBuilder< EvalGraphT >
• prints : benchmark::simple::BenchmarkController::Stat
• printSkip : benchmark::simple::BenchmarkController
• printUsage() : WeakConstraintPlugin , PluginContainer , AggregatePlugin , ChoicePlugin , ConditionalLiteralPlugin , FunctionPlugin , HigherOrderPlugin , ManualEvalHeuristicsPlugin , PluginInterface , QueryPlugin , StrongNegationPlugin
• printWeightVector() : AnswerSet
• printWithoutPrefix() : RawPrinter , Interpretation
• problemRuleCount : AssumptionBasedUnfoundedSetChecker
• proc : DLVProcess , SimpleEvaluator
• process_id_list() : bm::iterator_deserializer< BV, SerialIterator >
• process_word() : bm::random_subset< BV >
• ProcessBuf() : ProcessBuf
• processOptions() : QueryPlugin , StrongNegationPlugin , WeakConstraintPlugin , TestPlugin , PluginInterface , ConditionalLiteralPlugin , AggregatePlugin , ChoicePlugin , FunctionPlugin , HigherOrderPlugin , ManualEvalHeuristicsPlugin
• processPluginOptions() : ProgramCtx
• ProductionRequirementsAtom() : TestPlugin::ProductionRequirementsAtom
• PROFILING : Configuration
• program : InternalGroundASPSolver , ProgramMCSMedEQProgramCtxFixture , ProgramMCSMedDProgramCtxFixture , ProgramExt1ProgramCtxFixture , AnnotatedGroundProgram::ProgramComponent
• ProgramComponent() : AnnotatedGroundProgram::ProgramComponent
• ProgramComponentPtr : AnnotatedGroundProgram
• programComponents : AnnotatedGroundProgram
• ProgramCtx() : ProgramCtx
• ProgramExt1ProgramCtxFixture() : ProgramExt1ProgramCtxFixture
• programMask : GenuineGuessAndCheckModelGenerator , AnnotatedGroundProgram
• ProgramMCSMedDProgramCtxFixture() : ProgramMCSMedDProgramCtxFixture
• ProgramMCSMedEQProgramCtxFixture() : ProgramMCSMedEQProgramCtxFixture
• projectEAtomInputInterpretation() : BaseModelGenerator
• prop : PluginAtom , ExternalAtom
• propagate() : GenuineGuessAndCheckModelGenerator , PropagatorCallback
• 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
• propsOf() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , ComponentGraph , DependencyGraph , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , DependencyGraph , ComponentGraph , ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• providesCompleteNegativeSupportSets() : ExtSourceProperties
• providesCompletePositiveSupportSets() : ExtSourceProperties
• providesCustomExternalAtomEvaluationHeuristicsFactory() : PluginAtom , TestSetMinusAtom
• providesCustomModelGeneratorFactory() : PluginInterface
• providesOnlySafeSupportSets() : ExtSourceProperties
• providesPartialAnswer : ExtSourceProperties
• providesSupportSets() : ExtSourceProperties
• Ptr : ModelGeneratorFactoryBase< InterpretationT > , NogoodContainer , AnswerSet , SATSolver , Interpretation , ExternalAtomVerificationTree::Node
• ptr() : bm::copy_to_array_functor_inc< B >
• Ptr : LiberalSafetyPlugin , LiberalSafetyPluginFactory , GenuineSolver , SimpleNogoodContainer
• ptr() : bm::copy_to_array_functor< B >
• Ptr : GenuineGrounder , UnfoundedSetCheckerManager , InternalGrounder , UnfoundedSetChecker , GenuineGroundSolver , ModelGeneratorBase< InterpretationT >
• ptr() : bm::copy_to_array_functor< B > , bm::bvector< Alloc >::iterator_base::dgap_descr
• Ptr : NogoodGrounder
• ptr() : bm::copy_to_array_functor_inc< B >
• Ptr : TestInterpretation , InternalGroundDASPSolver , InternalGroundASPSolver , CDNLSolver , AnnotatedGroundProgram::ProgramComponent
• ptr : bm::bvector< Alloc >::iterator_base::bitblock_descr
• ptr_ : Term::PtrRef , bm::ptr_guard< T >
• ptr_alloc_ : bm::mem_alloc< BA, PA >
• ptr_allocator_type : bm::mem_alloc< BA, PA >
• ptr_guard() : bm::ptr_guard< T >
• PtrRef() : Term::PtrRef
• pureDuration : benchmark::nestingAware::NestingAwareController::Stat
• push_back() : bm::bitblock_sum_adapter , bm::bitblock_store_adapter , bm::bitblock_sum_adapter , bm::bitblock_store_adapter
• pushMessage() : dlvhex::ConcurrentMessageQueueOwning< MessageBase >
• put_16() : bm::encoder
• put_32() : bm::encoder
• put_8() : bm::encoder
• put_bit() : bm::bit_out< TEncoder >
• put_bits() : bm::bit_out< TEncoder >
• put_prefixed_array_16() : bm::encoder
• put_prefixed_array_32() : bm::encoder
• put_zero_bit() : bm::bit_out< TEncoder >
• put_zero_bits() : bm::bit_out< TEncoder >