- e -
- e107
: EvalGraphEx1Fixture
- e1110
: EvalGraphEx1Fixture
- e117
: EvalGraphEx1Fixture
- e119
: EvalGraphEx1Fixture
- e21
: EvalGraphE1Fixture
, EvalGraphE2Fixture
, EvalGraphEx1Fixture
- e31
: EvalGraphE2Fixture
- e32
: EvalGraphE1Fixture
- e42
: EvalGraphE2Fixture
, EvalGraphEx1Fixture
- e43
: EvalGraphE2Fixture
, EvalGraphEx1Fixture
- e52
: EvalGraphEx1Fixture
- e65
: EvalGraphEx1Fixture
- e74
: EvalGraphEx1Fixture
- e76
: EvalGraphEx1Fixture
- e97
: EvalGraphEx1Fixture
- e98
: EvalGraphEx1Fixture
- ea
: ExtSourceProperties
- eaEvalHeuristics
: GenuineGuessAndCheckModelGenerator
- eaEvaluated
: GenuineGuessAndCheckModelGenerator
- eaInput
: UnfoundedSetChecker::UnfoundedSetVerificationStatus
- eaInputTupleCache
: Registry
- eaMask
: BaseModelGenerator::VerifyExternalAtomCB
- eaMasks
: AnnotatedGroundProgram
- eatom
: ExternalAtomMask
- eatomID
: LiberalSafetyChecker::Attribute
, PluginAtom::Query
- eatoms
: Registry
, GenuinePlainModelGeneratorFactory
, PlainModelGeneratorFactory
- eaVerified
: GenuineGuessAndCheckModelGenerator
- eavTree
: GenuineGuessAndCheckModelGenerator
, UnfoundedSetChecker
- eCycles
: AnnotatedGroundProgram
- eCyclesTotal
: AnnotatedGroundProgram
- edb
: Module
, OrdinaryASPProgram
, ProgramCtx
- edbList
: ProgramCtx
- eff_cols_
: bm::gap_transpose_engine< GT, BT, BLOCK_SIZE >
- effective_top_block_size_
: bm::blocks_manager< Alloc >
- eg
: EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >
, EvalGraphBuilder
, ModelBuilderConfig< EvalGraphT >
, ModelBuilder< EvalGraphT >
, ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >
, CounterVerification< EvalGraphT >
, EvalGraphE1Fixture
, EvalGraphE2Fixture
, EvalGraphEx1Fixture
- ego
: OnlineModelBuilder< EvalGraphT >
- elem
: SortElement< T >
- empty_
: bm::blocks_manager< Alloc >::block_opt_func
- emptyagp
: UnfoundedSetChecker
- enabled
: WeakConstraintPlugin::CtxData
, StrongNegationPlugin::CtxData
, ConditionalLiteralPlugin::CtxData
, AggregatePlugin::CtxData
, ChoicePlugin::CtxData
, HigherOrderPlugin::CtxData
, ManualEvalHeuristicsPlugin::CtxData
, QueryPlugin::CtxData
- end_of_stream_
: bm::serial_stream_iterator< DEC >
- enq
: dlvhex::ConcurrentMessageQueueOwning< MessageBase >
- error
: AnswerSetQueueElement
- ERROR
: Logger
- evalgraph
: ProgramCtx
- evalHeuristic
: ProgramCtx
- exatom
: BaseModelGenerator::VerifyExternalAtomCB
- executable
: DLVProcess
- exhaustedDL
: CDNLSolver
- explAtoms
: GenuineGuessAndCheckModelGenerator
- externalAtom
: HexGrammarBase< Iterator, Skipper >
- externalAtomAddressToAuxIndices
: UnfoundedSetChecker::UnfoundedSetVerificationStatus
- externalAtomPredicate
: HexGrammarBase< Iterator, Skipper >
- externalAtomProperties
: HexGrammarBase< Iterator, Skipper >
- externalAtomProperty
: HexGrammarBase< Iterator, Skipper >
- externalAtomPropertyString
: HexGrammarBase< Iterator, Skipper >
- externalConstantInput
: DependencyGraph::DependencyInfo
- externalEdges
: AnnotatedGroundProgram
- externalEvalConfig
: GenuineWellfoundedModelGeneratorFactory
, GenuineGuessAndCheckModelGeneratorFactory
, GenuinePlainModelGeneratorFactory
, GuessAndCheckModelGeneratorFactory
, EvalGraphBuilder
, WellfoundedModelGeneratorFactory
, PlainModelGeneratorFactory
- externalNonmonotonicPredicateInput
: DependencyGraph::DependencyInfo
- externalPredicateInput
: DependencyGraph::DependencyInfo