- a -

• AbovePluginAtom() : AbovePluginAtom
• add() : PreparedResults , TestInterpretation , Interpretation
• add_bit_block() : bm::bv_statistics
• add_gap_block() : bm::bv_statistics
• addAllResolvents() : SimpleNogoodContainer
• addAntimonotonicInputPredicate() : ExtSourceProperties
• addBoundedVariable() : LiberalSafetyChecker
• addCSVFileInput() : InputProvider
• addDependency() : OnlineModelBuilder< EvalGraphT >::EvalGraphObserver , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• addDerivableAtom() : InternalGrounder
• addDomainExpansionSafeAttribute() : LiberalSafetyChecker
• addDomainPredicatesAndCreateDomainExplorationProgram() : BaseModelGeneratorFactory
• addExternallyBoundedVariable() : LiberalSafetyChecker
• addFileInput() : InputProvider
• addFilter() : Configuration
• addFiniteOutputDomain() : ExtSourceProperties
• addInconsistencyCauseFromSuccessor() : GenuineGuessAndCheckModelGeneratorFactory , ModelGeneratorFactoryBase< InterpretationT >
• addInputConstant() : PluginAtom
• addInputPredicate() : PluginAtom
• addInputTuple() : PluginAtom
• addInternalPlugin() : PluginContainer
• addModel() : ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
• addMonotonicInputPredicate() : ExtSourceProperties
• addNogood() : CDNLSolver , ExternalAtomVerificationTree , DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT > , DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver > , GenuineGuessAndCheckModelGenerator , GenuineSolver , ModelGeneratorBase< InterpretationT > , NogoodSet , NogoodContainer , SimpleNogoodContainer
• addNogoodAndUpdateWatchingStructures() : CDNLSolver
• addNogoodSet() : CDNLSolver , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver , SATSolver
• addObserver() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
• addOption() : DLVProcess , Process
• addOutputAtoms() : ExternalAtomMask
• addPluginAtom() : ProgramCtx
• addPluginAtomsFromPluginContainer() : ProgramCtx
• addPredicate() : PredicateMask
• addPredicateParameterNameIndependence() : ExtSourceProperties
• addProgram() : AnnotatedGroundProgram , GenuineGroundSolver , GenuineSolver , InternalGroundASPSolver
• addPropagator() : InternalGroundASPSolver , SATSolver , CDNLSolver , GenuineGroundSolver , GenuineSolver
• addRelativeFiniteOutputDomain() : ExtSourceProperties
• addShadowInterpretation() : FLPModelGeneratorBase
• addSourceToAtom() : InternalGroundASPSolver
• addStreamInput() : InputProvider
• addStringInput() : InputProvider
• addUnit() : EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer , EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > , OnlineModelBuilder< EvalGraphT >::EvalGraphObserver
• addWellorderingNatural() : ExtSourceProperties
• addWellorderingStrlen() : ExtSourceProperties
• advanceOModelForIModel() : OnlineModelBuilder< EvalGraphT >
• AggregateAndBuildinChecker() : DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker
• AggregateAtom() : AggregateAtom
• AggregatePlugin() : AggregatePlugin
• all_set_block() : bm::all_set< T >::all_set_block
• alloc_bit_block() : bm::mem_alloc< BA, PA > , bm::blocks_manager< Alloc > , bm::mem_alloc< BA, PA > , bm::blocks_manager< Alloc >
• alloc_gap_block() : bm::mem_alloc< BA, PA >
• alloc_ptr() : bm::mem_alloc< BA, PA >
• allocate() : bm::block_allocator , bm::ptr_allocator , bm::bit_block_guard< BlocksManager > , bm::ptr_allocator , bm::bit_block_guard< BlocksManager >
• allocate_gap_block() : bm::blocks_manager< Alloc >
• allocate_tempblock() : bm::bvector< Alloc >
• allowsForVerificationUsingCompleteSupportSets() : AnnotatedGroundProgram
• analysis() : CDNLSolver
• analyzeTerm() : Term
• AncestryMarkingVisitor() : CAUAlgorithms::AncestryMarkingVisitor< Graph >
• and_bit_no_check() : bm::bvector< Alloc >
• AnnotatedGroundProgram() : AnnotatedGroundProgram
• Answer() : PluginAtom::Answer
• answerQuery() : TestBraveQueryAtom , TestASPQueryAtom , TestCautiousQueryAtom
• AnswerSet() : AnswerSet
• AnswerSetPrinterCallback() : AnswerSetPrinterCallback
• AnswerSetQueueElement() : AnswerSetQueueElement
• any() : bm::bvector< Alloc >
• applyIntFunction() : InternalGrounder
• applySubstitutionToAtom() : InternalGrounder
• applySubstitutionToBuiltinAtom() : InternalGrounder
• applySubstitutionToOrdinaryAtom() : InternalGrounder
• applyVariableSubstitution() : Nogood
• ASMOrdinaryASPSolver() : DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
• ASPSolverManager() : ASPSolverManager
• assign() : PluginAtom::Query
• assigned() : CDNLSolver
• associateExtAtomsWithPluginAtoms() : ProgramCtx
• AssumptionBasedUnfoundedSetChecker() : AssumptionBasedUnfoundedSetChecker
• Atom() : Atom
• atomFromLiteral() : ID
• atomToString() : InternalGrounder
• attach() : bm::bit_block_guard< BlocksManager >
• AuxiliaryKey() : DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
• AuxiliaryValue() : DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue