- p -
- parse()
: DLVResultParser
, HexParser
, ProgramCtx
, State
, ModuleHexParser
, ParseState
- ParserState()
: ParserState
- ParseState()
: ParseState
- path()
: DLVProcess
, Process
- permute()
: TestListDomainAtom
- PlainAuxPrinter()
: PlainAuxPrinter
- PlainModelGenerator()
: PlainModelGenerator
- PlainModelGeneratorFactory()
: PlainModelGeneratorFactory
- PluginAtom()
: PluginAtom
- pluginAtomMap()
: ProgramCtx
- pluginContainer()
: ProgramCtx
- PluginContainer()
: PluginContainer
- PluginData()
: PluginData
- PluginEnvironment()
: PluginEnvironment
- PluginError()
: PluginError
- PluginInterface()
: PluginInterface
- PluginPtrDeleter()
: PluginPtrDeleter< AllocatedT >
- PluginPtrNOPDeleter()
: PluginPtrNOPDeleter< AllocatedT >
- PluginRewriter()
: PluginRewriter
- popMessage()
: dlvhex::ConcurrentMessageQueueOwning< MessageBase >
- posLiteralFromAtom()
: ID
- postProcess()
: PostProcessState
, ProgramCtx
, State
- PostProcessState()
: PostProcessState
- Predicate()
: Predicate
- PredicateMask()
: PredicateMask
- PreparedResults()
: PreparedResults
- preprocessComponents()
: DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode
- preprocessRule()
: InternalGrounder
- print()
: 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
, AnswerSet
, Printer
, RawPrinter
, OrdinaryAtom
, print_container
, print_stream_container< T >
, BuiltinAtom
, print_method_container
, AuxPrinter
, AggregateAtom
, Registry
, ExternalAtom
, Rule
, RuleTable
, ModuleAtom
, Table< ValueT, IndexT >
, Term
, ComfortTerm
, WellfoundedModelGeneratorFactory
, TestInterpretation
, ComfortAtom
, TestModelGeneratorFactory::ModelGenerator
, TestModelGeneratorFactory
, ComfortInterpretation
, Term
, ComponentGraph::ComponentInfo
, ComponentGraph::DependencyInfo
, DependencyGraph::NodeInfo
, DependencyGraph::DependencyInfo
, none_t
, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundle
, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle
, ExternalAtomTable
, FinalEvalUnitPropertyBase
, GenuineGuessAndCheckModelGeneratorFactory
, GenuinePlainModelGeneratorFactory
, GenuineWellfoundedModelGeneratorFactory
, GuessAndCheckModelGeneratorFactory
- print_method_container()
: print_method_container
- print_stream_container()
: print_stream_container< T >
- printAsFacts()
: Interpretation
- printAsNumber()
: Interpretation
- printAtomForUser()
: Registry
- printCount()
: benchmark::simple::BenchmarkController
, benchmark::nestingAware::NestingAwareController
- 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 >
- printInformation()
: benchmark::nestingAware::NestingAwareController
, benchmark::simple::BenchmarkController
- printInformationContinous()
: benchmark::simple::BenchmarkController
, benchmark::nestingAware::NestingAwareController
- printInSecs()
: benchmark::nestingAware::NestingAwareController
, benchmark::simple::BenchmarkController
- printmany()
: Printer
- printModelBuildingPropertyMap()
: OnlineModelBuilder< EvalGraphT >
, ModelBuilder< EvalGraphT >
, OfflineModelBuilder< EvalGraphT >
- printUsage()
: AggregatePlugin
, ChoicePlugin
, ConditionalLiteralPlugin
, FunctionPlugin
, HigherOrderPlugin
, ManualEvalHeuristicsPlugin
, PluginContainer
, QueryPlugin
, StrongNegationPlugin
, WeakConstraintPlugin
, PluginInterface
- printWeightVector()
: AnswerSet
- printWithoutPrefix()
: Interpretation
, RawPrinter
- process_id_list()
: bm::iterator_deserializer< BV, SerialIterator >
- process_word()
: bm::random_subset< BV >
- ProcessBuf()
: ProcessBuf
- processOptions()
: AggregatePlugin
, ChoicePlugin
, FunctionPlugin
, HigherOrderPlugin
, ManualEvalHeuristicsPlugin
, QueryPlugin
, StrongNegationPlugin
, WeakConstraintPlugin
, PluginInterface
, TestPlugin
, ConditionalLiteralPlugin
- processPluginOptions()
: ProgramCtx
- ProductionRequirementsAtom()
: TestPlugin::ProductionRequirementsAtom
- ProgramComponent()
: AnnotatedGroundProgram::ProgramComponent
- ProgramCtx()
: ProgramCtx
- ProgramExt1ProgramCtxFixture()
: ProgramExt1ProgramCtxFixture
- ProgramMCSMedDProgramCtxFixture()
: ProgramMCSMedDProgramCtxFixture
- ProgramMCSMedEQProgramCtxFixture()
: ProgramMCSMedEQProgramCtxFixture
- projectEAtomInputInterpretation()
: BaseModelGenerator
- propagate()
: PropagatorCallback
, GenuineGuessAndCheckModelGenerator
- propsOf()
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
, ComponentGraph
, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
, ComponentGraph
, DependencyGraph
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, ComponentGraph
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, DependencyGraph
- providesCompleteNegativeSupportSets()
: ExtSourceProperties
- providesCompletePositiveSupportSets()
: ExtSourceProperties
- providesCustomExternalAtomEvaluationHeuristicsFactory()
: PluginAtom
, TestSetMinusAtom
- providesCustomModelGeneratorFactory()
: PluginInterface
- providesOnlySafeSupportSets()
: ExtSourceProperties
- providesSupportSets()
: ExtSourceProperties
- ptr()
: bm::copy_to_array_functor_inc< B >
, bm::copy_to_array_functor< B >
, bm::copy_to_array_functor_inc< B >
- ptr_guard()
: bm::ptr_guard< T >
- PtrRef()
: Term::PtrRef
- push_back()
: bm::bitblock_sum_adapter
, bm::bitblock_store_adapter
, bm::bitblock_sum_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 >