| AbovePluginAtom | |
| impl::AddressTag | |
| AggregateAtom | |
| AggregateAtomTable | |
| AggregatePlugin | |
| CAUAlgorithms::AncestryMarkingVisitor< Graph > | |
| AnnotatedGroundProgram | |
| PluginAtom::Answer | Output of an external atom call |
| AnswerSet | |
| AnswerSetPrinterCallback | |
| AnswerSetQueueElement | |
| DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver | |
| ASPSolverManager | |
| AssumptionBasedUnfoundedSetChecker | |
| AsynchronousModelGenerator | |
| Atom | |
| AtomMatches | General purpose predicate functor, which returns true iff (*g == a) |
| DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey | |
| DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue | |
| AuxPrinter | Registry Plugin for printing auxiliary IDs |
| BaseModelGenerator | |
| BaseModelGeneratorFactory | |
| BaseTopology | |
| benchmark::BenchmarkController | |
| evalheur::BuildCommand | |
| BuiltinAtom | |
| BuiltinAtomTable | |
| CDNLSolver | |
| ASPSolver::ClingoSoftware | |
| Logger::Closure | |
| ComfortAtom | String-based Atom object (comfort interface) |
| ComfortInterpretation | |
| ComfortLiteral | |
| ComfortPluginAtom | String-based PluginAtom interface (comfort interface) |
| ComfortPluginAtom::ComfortQuery | Query class which provides the input of an external atom call |
| ComfortTerm | String-based term object (comfort interface) |
| ComponentGraph | A component graph is created from a dependency graph by collecting SCCs into single nodes components |
| ComponentGraph::ComponentInfo | |
| dlvhex::ConcurrentMessageQueueOwning< MessageBase > | Message queue for inter-thread communication |
| ConcurrentQueueResults | |
| Config | |
| Configuration | Definition of global variables |
| const_set_iterator< T > | |
| ConvertState | |
| CounterVerification< EvalGraphT > | |
| CreateComponentGraphState | |
| CreateDependencyGraphState | |
| CreateEvalGraphState | |
| TestPlugin::CtxData | |
| HigherOrderPlugin::CtxData | |
| QueryPlugin::CtxData | |
| StrongNegationPlugin::CtxData | |
| WeakConstraintPlugin::CtxData | |
| AggregatePlugin::CtxData | |
| ExternalLearningHelper::DefaultInputNogoodProvider | |
| ASPSolver::DLVSoftware::Delegate | |
| ASPSolver::DLVLibSoftware::Delegate | |
| ASPSolver::DLVDBSoftware::Delegate | |
| ASPSolver::ClingoSoftware::Delegate | |
| ASPSolverManager::DelegateInterface | |
| DependencyGraph | |
| DependencyGraphFull | |
| ComponentGraph::DependencyInfo | |
| DependencyGraph::DependencyInfo | |
| DependencyGraphFull::DependencyInfo | |
| EvalGraphBuilder::DependencyInfo | |
| internal::DFSVisitor | |
| internalgreedy::DFSVisitor | |
| DiamondTopology | |
| ASPSolver::DLVDBSoftware | |
| ASPSolver::DLVLibSoftware | |
| DLVProcess | A wrapper process for the DLV/DLVDB ASP engine |
| DLVResultGrammar< Iterator > | |
| DLVResultParser | Parses DLV answer sets |
| ASPSolver::DLVSoftware | |
| DumpingEvalGraphBuilder | |
| DynamicVector< K, T > | |
| impl::ElementTag | |
| EncodingBasedUnfoundedSetChecker | |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > | |
| EvalGraphBuilder | This template provides a framework for building an evaluation graph |
| EvalGraphE1Fixture | |
| EvalGraphE2Fixture | |
| EvalGraphE2MirroredFixture | |
| EvalGraphEx1Fixture | |
| OnlineModelBuilder< EvalGraphT >::EvalGraphObserver | |
| EvalHeuristicASP | |
| EvalHeuristicBase< EvalGraphBuilderT > | An evaluation heuristic gets an eval graph builder and shall build an eval graph using methods of the eval graph builder only |
| EvalHeuristicEasy | |
| EvalHeuristicFromFile | |
| EvalHeuristicGreedy | |
| EvalHeuristicOldDlvhex | |
| EvalHeuristicTrivial | |
| EvaluateState | |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle | |
| OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties | |
| EvalUnitModelGeneratorFactoryProperties< InterpretationT > | |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels | |
| EvalUnitProjectionProperties | |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundle | |
| BaseModelGenerator::ExternalAnswerTupleCallback | |
| ExternalAtom | |
| ExternalAtomEvaluationHeuristics | |
| ExternalAtomEvaluationHeuristicsAlways | |
| ExternalAtomEvaluationHeuristicsAlwaysFactory | |
| ExternalAtomEvaluationHeuristicsFactory | |
| ExternalAtomEvaluationHeuristicsInputComplete | |
| ExternalAtomEvaluationHeuristicsInputCompleteFactory | |
| ExternalAtomEvaluationHeuristicsNever | |
| ExternalAtomEvaluationHeuristicsNeverFactory | |
| ExternalAtomMask | |
| ExternalAtomTable | |
| ExternalLearningHelper | |
| DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT > | |
| DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver > | |
| ExtSourceProperties | |
| ExtSourceProperty | |
| FatalError | Severe Error, supposed to be followed by program termination |
| FinalCallback | Callback functor after model enumeration finished or aborted |
| FinalEvalUnitPropertyBase | |
| FLPModelGeneratorBase | |
| FLPModelGeneratorFactoryBase | |
| GeneralError | General exception class |
| GenericDepGraphCompGraphFixture< ProgramCtxFixtureT > | |
| GenericDepGraphFixture< ProgramCtxFixtureT > | |
| ASPSolverManager::GenericOptions | |
| GenPluginAtom1 | |
| GenPluginAtom2 | |
| GenuineGrounder | |
| GenuineGroundSolver | |
| GenuineGuessAndCheckModelGenerator | |
| GenuineGuessAndCheckModelGeneratorAsync | |
| GenuineGuessAndCheckModelGeneratorAsyncFactory | |
| GenuineGuessAndCheckModelGeneratorFactory | |
| GenuinePlainModelGenerator | |
| GenuinePlainModelGeneratorFactory | |
| GenuineSolver | |
| GenuineWellfoundedModelGenerator | |
| GenuineWellfoundedModelGeneratorFactory | |
| GuessAndCheckModelGenerator | |
| GuessAndCheckModelGeneratorFactory | |
| handle_dbg | |
| handle_fact | |
| handle_finished_answerset | |
| handle_ident | |
| handle_int | |
| DependencyGraph::HeadBodyHelper | |
| DependencyGraph::HeadBodyInfo | |
| DependencyGraph::HeadPredicateTag | |
| HeuristicsModelGeneratorInterface | |
| HexGrammar< Iterator, Skipper > | |
| HexGrammarBase< Iterator, Skipper > | Basic HEX Grammar |
| HexGrammarSemantics | See top of this file |
| HexParser | |
| HexParserModule | |
| HexParserSkipperGrammar< Iterator > | Skip parser for parsing hex (eliminates spaces and comments) |
| HigherOrderParserModuleSemantics::higherOrderAtom | |
| HigherOrderParserModuleSemantics | |
| HigherOrderPlugin | |
| ID | |
| EvalGraphBuilder::identity | |
| DependencyGraph::IDTag | |
| DependencyGraphFull::IDTag | |
| ImmediateNogoodGrounder | Instantiates nonground nogoods immediately for all possible substitutions |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Impl | |
| InputProvider::Impl | |
| Registry::Impl | |
| DependencyGraph::InBodyTag | |
| DependencyGraph::InHeadTag | |
| Logger::Init | |
| ExternalLearningHelper::InputNogoodProvider | Extracts the relevant part of a query which is the reason for some tuple to be in the output or not |
| InputProvider | |
| insert_set_iterator< T > | |
| impl::InstTag | |
| BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB | |
| InternalGroundASPSolver | |
| InternalGroundDASPSolver | |
| InternalGrounder | |
| Interpretation | |
| InterpretationBase | |
| impl::KindTag | |
| LazyNogoodGrounder | Instantiates nonground nogoods stepwise according to the current interpretation |
| LineTopology | |
| PluginContainer::LoadedPlugin | |
| Logger | |
| MLPSolver | Update 2011.03.19: can solve i-stratified MLP? TODO 31.03.2011 |
| MLPSolverState | |
| MLPSyntaxChecker | |
| ModelBuilder< EvalGraphT > | |
| ModelCallback | Callback functor for processing complete models of the HEX program |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelDepPropertyBundle | |
| TestModelGeneratorFactory::ModelGenerator | |
| ModelGeneratorBase< InterpretationT > | |
| ModelGeneratorFactoryBase< InterpretationT > | |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > | |
| ModelGraphE2M2Fixture | |
| ModelBuilder< EvalGraphT >::ModelProperties | |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle | |
| Module | |
| ModuleAtom | |
| ModuleAtomTable | |
| ModuleHexParser | Parses HEX-programs, extendable by parser modules |
| MLPSolver::ModuleInst | |
| impl::ModuleNameTag | |
| ModuleSyntaxCheckState | |
| ModuleTable | |
| DependencyGraph::NodeInfo | |
| DependencyGraphFull::NodeInfo | |
| DependencyGraph::NodeMappingInfo | |
| DependencyGraphFull::NodeMappingInfo | |
| Nogood | |
| NogoodContainer | |
| NogoodGrounder | |
| NogoodSet | |
| none_t | |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer | |
| OfflineModelBuilder< EvalGraphT > | |
| OfflineModelBuilderTFixture< EvalGraphBaseFixtureT > | |
| OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties | |
| OnlineModelBuilder< EvalGraphT > | |
| OnlineModelBuilderTFixture< EvalGraphBaseFixtureT > | |
| OptimizeEDBDependencyGraphState | |
| ASPSolver::DLVSoftware::Options | |
| ASPSolver::DLVDBSoftware::Options | |
| ASPSolver::ClingoSoftware::Options | |
| OrderedSet< T, H > | |
| OrdinaryASPProgram | |
| OrdinaryASPSolver | |
| OrdinaryAtom | |
| OrdinaryAtomTable | |
| ostream_printable< T > | |
| ParserState | |
| ParseState | |
| PlainAuxPrinter | |
| PlainModelGenerator | |
| PlainModelGeneratorFactory | |
| PluginAtom | Interface class for external Atoms |
| PluginContainer | Collects and administrates all available plugins |
| PluginConverter | Converter class (input stream rewriter) |
| PluginData | Base class for plugin-specific storage in ProgramCtx |
| PluginEnvironment | Base class for plugin-specific storage in ProgramCtx |
| PluginError | A plugin error is thrown by plugins and caught inside dlvhex |
| PluginInterface | Factory where plugins interact with the dlvhex core |
| PluginOptimizer | Optimizer class |
| PluginPtrDeleter< AllocatedT > | Special library deleter to be used with boost smart pointers |
| PluginPtrNOPDeleter< AllocatedT > | Special library deleter to be used with boost smart pointers |
| PluginRewriter | Rewriter class |
| PostProcessState | |
| Predicate | |
| PredicateMask | |
| PredicateMatches | General purpose predicate functor, which returns true iff predicate of g matches pred |
| impl::PredicateNameTag | |
| PredicateTable | |
| impl::PredicateTag | |
| PreparedResults | |
| print_container | |
| print_method_container | |
| print_stream_container< T > | |
| Printer | |
| Process | Base class for solver processes |
| ProcessBuf | A std::streambuf interface for creating child processes and writing/reading data via stdin/stdout |
| AnnotatedGroundProgram::ProgramComponent | |
| ProgramCtx | Program context class |
| ProgramExt1ProgramCtxFixture | |
| ProgramMCSMedDProgramCtxFixture | |
| ProgramMCSMedEQProgramCtxFixture | |
| PropagatorCallback | |
| PluginAtom::Query | Query class which provides the input of an external atom call |
| QueryParserModuleSemantics::queryBody | |
| QueryParserModuleSemantics | |
| QueryPlugin | |
| RandomTopology | |
| boost::range_const_iterator< Set< T > > | |
| boost::range_mutable_iterator< Set< T > > | |
| RawPrinter | |
| Registry | Registry for entities used in programs as IDs (collection of symbol tables) |
| CAUAlgorithms::RelevanceMarkingVisitor< Graph > | |
| ASPSolverManager::Results | |
| RewriteEDBIDBState | |
| RingTopology | |
| Rule | |
| HexGrammarBase< Iterator, Skipper >::Rule< Attrib, Dummy > | |
| HexGrammarBase< Iterator, Skipper >::Rule< void, Dummy > | |
| RuleTable | |
| SafetyChecker | Safety checker class |
| SafetyCheckerBase | Abstract base class for the SaftyCheckers |
| SafetyCheckState | |
| SATSolver | |
| sem< Tag > | |
| sem< HexGrammarSemantics::add > | |
| sem< HexGrammarSemantics::addMLPModuleHeader > | |
| sem< HexGrammarSemantics::addMLPModuleName > | |
| sem< HexGrammarSemantics::aggregateAtom > | |
| sem< HexGrammarSemantics::bodyLiteral > | |
| sem< HexGrammarSemantics::builtinBinaryInfix > | |
| sem< HexGrammarSemantics::builtinBinaryPrefix > | |
| sem< HexGrammarSemantics::builtinTernaryInfix > | |
| sem< HexGrammarSemantics::builtinTernaryPrefix > | |
| sem< HexGrammarSemantics::builtinUnaryPrefix > | |
| sem< HexGrammarSemantics::classicalAtomFromPrefix > | |
| sem< HexGrammarSemantics::classicalAtomFromTuple > | |
| sem< HexGrammarSemantics::constraint > | |
| sem< HexGrammarSemantics::externalAtom > | |
| sem< HexGrammarSemantics::extSourceProperty > | |
| sem< HexGrammarSemantics::ignoreAndWarnIfNotFail > | |
| sem< HexGrammarSemantics::maxint > | |
| sem< HexGrammarSemantics::mlpModuleAtom > | |
| sem< HexGrammarSemantics::predFromNameOnly > | |
| sem< HexGrammarSemantics::predFromPredDecl > | |
| sem< HexGrammarSemantics::predFromString > | |
| sem< HexGrammarSemantics::rule > | |
| sem< HexGrammarSemantics::termFromCIdent > | |
| sem< HexGrammarSemantics::termFromInteger > | |
| sem< HexGrammarSemantics::termFromString > | |
| sem< HexGrammarSemantics::termFromVariable > | |
| sem< HexGrammarSemantics::weakconstraint > | |
| sem< HigherOrderParserModuleSemantics::higherOrderAtom > | |
| sem< QueryParserModuleSemantics::queryBody > | |
| sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom > | |
| SemanticActionBase< ManagerClass, TargetAttribute, Tag > | |
| SenseNotArmed1PluginAtom | |
| SenseNotArmed2PluginAtom | |
| Set< T > | |
| set_iterator< T > | |
| SetupProgramCtxState | |
| ShowPluginsState | |
| SimpleEvaluator | |
| CDNLSolver::SimpleHashID | |
| CDNLSolver::SimpleHashIDAddress | |
| SimpleNogoodContainer | |
| ASPSolverManager::SoftwareBase | |
| ASPSolverManager::SoftwareConfiguration< SoftwareT > | Generic concrete software configuration, parameterized by a concrete software |
| ASPSolverManager::SoftwareConfigurationBase | Interface to a software configuration for solving this is passed to the ASPSolverManager::solve methods it creates a useable delegate for solving |
| SortElement< T > | |
| StarTopology | |
| benchmark::BenchmarkController::Stat | |
| State | State base class |
| StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom | |
| StrongNegationParserModuleSemantics | |
| StrongNegationPlugin | |
| StrongSafetyChecker | Strong safety checker class |
| StrongSafetyCheckState | |
| ProgramCtx::SubprogramAnswerSetCallback | |
| SyntaxError | Error caused by malformed input program |
| Table< ValueT, IndexT > | |
| Term | |
| TermTable | |
| impl::TermTag | |
| TestAAtom | |
| TestAppendAtom | |
| TestBAtom | |
| TestCAtom | |
| TestConcatAtom | |
| TestCycleAtom | |
| TestDisjAtom | |
| TestEqualAtom | |
| TestEvalUnitPropertyBase | |
| TestEvenAtom | |
| TestFinalCallback | |
| TestIdAtom | |
| TestInterpretation | |
| TestLessThanAtom | |
| TestMinusOneAtom | |
| TestModelGeneratorFactory | |
| TestModelPropertyBase | |
| TestNegAtom | |
| TestNonmon2Atom | |
| TestNonmonAtom | |
| TestOddAtom | |
| TestPlugin | |
| TestPluginAspCtxAcc | |
| TestPluginAtomCount | |
| TestPluginAtomReach | |
| TestProgramCtx | |
| TestSetMinusAtom | |
| TestSetMinusNogoodBasedLearningAtom | |
| TestSetMinusRuleBasedLearningAtom | |
| TestTransitiveClosureAtom | |
| TestZeroArityAtom | |
| impl::TextTag | |
| TreeTopology | |
| impl::TupleTag | |
| UnfoundedSetChecker | |
| UnfoundedSetCheckerManager | |
| UnfoundedSetCheckHeuristics | |
| UnfoundedSetCheckHeuristicsFactory | |
| UnfoundedSetCheckHeuristicsMax | |
| UnfoundedSetCheckHeuristicsMaxFactory | |
| UnfoundedSetCheckHeuristicsPeriodic | |
| UnfoundedSetCheckHeuristicsPeriodicFactory | |
| UnfoundedSetCheckHeuristicsPost | |
| UnfoundedSetCheckHeuristicsPostFactory | |
| EvalGraphBuilder::UnusedEdgeFilter | |
| EvalGraphBuilder::UnusedVertexFilter | |
| URLBuf | A std::streambuf for reading data from URLs |
| UsageError | |
| FLPModelGeneratorBase::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB | |
| FLPModelGeneratorBase::VerifyExternalAtomCB | |
| WeakConstraintPlugin | |
| WellfoundedModelGenerator | |
| WellfoundedModelGeneratorFactory | |
1.7.6.1