- e -
- EAHeuristics()
: TestSetMinusAtom::EAHeuristics
- EAInputTupleCache()
: EAInputTupleCache
- eatom()
: BaseModelGenerator::ExternalAnswerTupleMultiCallback
, BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB
, BaseModelGenerator::ExternalAnswerTupleCallback
, BaseModelGenerator::VerifyExternalAtomCB
, BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB
- effective_top_block_size()
: bm::blocks_manager< Alloc >
- empty()
: dlvhex::ConcurrentMessageQueueOwning< MessageBase >
, Set< T >
- encode_bit_interval()
: bm::serializer< BV >
- encode_gap_block()
: bm::serializer< BV >
- encode_header()
: bm::serializer< BV >
- encoder()
: bm::encoder
- EncodingBasedUnfoundedSetChecker()
: EncodingBasedUnfoundedSetChecker
- end()
: Set< T >
, bm::bvector< Alloc >
- endoffile()
: DLVProcess
, Process
, ProcessBuf
- enqueueAnswerset()
: ConcurrentQueueResults
- enqueueEnd()
: ConcurrentQueueResults
- enqueueException()
: ConcurrentQueueResults
- ensureModelIncrement()
: OnlineModelBuilder< EvalGraphT >
- ensureOrdinarySafety()
: LiberalSafetyChecker
- enumerator()
: bm::bvector< Alloc >::enumerator
- erase()
: DynamicVector< K, T >
, Set< T >
, OrderedSet< T, H >
- eraseObserver()
: EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
- EvalGraph()
: EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
- EvalGraphBuilder()
: EvalGraphBuilder
- EvalGraphE1Fixture()
: EvalGraphE1Fixture
- EvalGraphE2Fixture()
: EvalGraphE2Fixture
- EvalGraphE2MirroredFixture()
: EvalGraphE2MirroredFixture
- EvalGraphEx1Fixture()
: EvalGraphEx1Fixture
- EvalGraphObserver()
: OnlineModelBuilder< EvalGraphT >::EvalGraphObserver
- EvalHeuristicASP()
: EvalHeuristicASP
- EvalHeuristicBase()
: EvalHeuristicBase< EvalGraphBuilderT >
- EvalHeuristicEasy()
: EvalHeuristicEasy
- EvalHeuristicFromFile()
: EvalHeuristicFromFile
- EvalHeuristicFromHEXSourcecode()
: DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode
- EvalHeuristicGreedy()
: EvalHeuristicGreedy
- EvalHeuristicMonolithic()
: EvalHeuristicMonolithic
- EvalHeuristicOldDlvhex()
: EvalHeuristicOldDlvhex
- EvalHeuristicTrivial()
: EvalHeuristicTrivial
- evaluate()
: ProgramCtx
, State
, EvaluateState
- evaluateExternalAtom()
: BaseModelGenerator
- evaluateExternalAtomQuery()
: BaseModelGenerator
- evaluateExternalAtoms()
: BaseModelGenerator
- EvaluateState()
: EvaluateState
- evaluateSubprogram()
: ProgramCtx
- evalUnit()
: ManualEvalHeuristicsParserModuleSemantics::evalUnit
- EvalUnitDepPropertyBundle()
: EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle
- EvalUnitModelBuildingProperties()
: OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties
- EvalUnitModels()
: ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels
- EvalUnitProjectionProperties()
: EvalUnitProjectionProperties
- EvalUnitPropertyBundle()
: EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundle
- examine_edge()
: CAUAlgorithms::AncestryMarkingVisitor< Graph >
- existsHomomorphism()
: OrdinaryAtom
- expandUFSDetectionProblemAndReinstantiateSolver()
: AssumptionBasedUnfoundedSetChecker
- extend_gap_block()
: bm::blocks_manager< Alloc >
, bm::bvector< Alloc >
, bm::blocks_manager< Alloc >
- ExternalAtom()
: ExternalAtom
- ExternalAtomEvaluationHeuristics()
: ExternalAtomEvaluationHeuristics
- ExternalAtomEvaluationHeuristicsAlways()
: ExternalAtomEvaluationHeuristicsAlways
- ExternalAtomEvaluationHeuristicsEAComplete()
: ExternalAtomEvaluationHeuristicsEAComplete
- ExternalAtomEvaluationHeuristicsInputComplete()
: ExternalAtomEvaluationHeuristicsInputComplete
- ExternalAtomEvaluationHeuristicsNever()
: ExternalAtomEvaluationHeuristicsNever
- ExternalAtomEvaluationHeuristicsPeriodic()
: ExternalAtomEvaluationHeuristicsPeriodic
- ExternalAtomMask()
: ExternalAtomMask
- ExternalAtomVerificationTree()
: ExternalAtomVerificationTree
- extract_next()
: bm::bvector< Alloc >
- ExtSourceProperties()
: ExtSourceProperties