| bm::_copyright< T > | Internal structure |
| AbovePluginAtom | |
| impl::AddressTag | |
| DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker | |
| AggregateAtom | Stores aggregate atoms, such as Z <= #avg{X : p(X)} <= Y |
| AggregateAtomTable | Lookup table for aggregate atoms |
| AggregatePlugin | Implements aggregate functions both by native handling or by rewriting them to external atoms |
| bm::all_set< T > | Structure carries pointer on bit block with all bits 1 |
| bm::all_set< T >::all_set_block | |
| CAUAlgorithms::AncestryMarkingVisitor< Graph > | |
| AnnotatedGroundProgram | Stores meta information about a ground program, including mappings of external atom auxiliaries to external atoms |
| PluginAtom::Answer | Output of an external atom call |
| AnswerSet | Stores a set of atoms as in an Interpretation enhanced with additional information which is necessary for encoding answer sets (such as e.g |
| AnswerSetPrinterCallback | Base class for customized answer set printers |
| AnswerSetQueueElement | Stores one answer set |
| DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver | |
| ASPSolverManager | |
| AssumptionBasedUnfoundedSetChecker | |
| Atom | Base class for all atoms |
| AtomMatches | General purpose predicate functor, which returns true iff (*g == a) |
| LiberalSafetyChecker::Attribute | Stores an ordinary or external (input or output) attribute |
| DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey | |
| DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue | |
| AuxPrinter | Registry Plugin for printing auxiliary IDs |
| BaseModelGenerator | Base class for all model generators |
| BaseModelGeneratorFactory | A model generator factory provides model generators for a certain types of interpretations |
| BaseTopology | |
| benchmark::simple::BenchmarkController | Supports benchmarking of different components of dlvhex |
| DLVHEX_NAMESPACE_BEGIN::BenignCycleChecker | |
| bm::bit_AND< W > | Bit AND functor |
| bm::bit_ASSIGN< W > | Bit ASSIGN functor |
| bm::bit_block_guard< BlocksManager > | Bit block buffer guard |
| bm::bit_COUNT< W > | Bit COUNT functor |
| bm::bit_COUNT_A< W > | Bit COUNT A functor |
| bm::bit_COUNT_AND< W > | Bit COUNT AND functor |
| bm::bit_COUNT_B< W > | Bit COUNT B functor |
| bm::bit_COUNT_OR< W > | Bit COUNT OR functor |
| bm::bit_COUNT_SUB_AB< W > | Bit COUNT SUB AB functor |
| bm::bit_COUNT_SUB_BA< W > | Bit SUB BA functor |
| bm::bit_count_table< T > | Structure to aid in counting bits table contains count of bits in 0-255 diapason of numbers |
| bm::bit_COUNT_XOR< W > | Bit COUNT XOR functor |
| bm::bit_grabber< T, BPC > | |
| bm::bit_grabber< unsigned char, 8 > | |
| bm::bit_grabber< unsigned short, 16 > | |
| bm::bit_grabber< unsigned, 32 > | |
| bm::bit_in< TDecoder > | Byte based reader for un-aligned bit streaming |
| bm::bit_OR< W > | Bit OR functor |
| bm::bit_out< TEncoder > | Byte based writer for un-aligned bit streaming |
| bm::bit_SUB< W > | Bit SUB functor |
| bm::bit_trans_grabber< T, BPC, BPS > | |
| bm::bit_XOR< W > | Bit XOR functor |
| bm::bvector< Alloc >::iterator_base::bitblock_descr | Information about current bitblock |
| bm::bitblock_get_adapter | Bit-block get adapter, takes bitblock and represents it as a get_32() accessor function /internal |
| bm::bitblock_store_adapter | Bit-block store adapter, takes bitblock and saves results into it /internal |
| bm::bitblock_sum_adapter | Bit-block sum adapter, takes values and sums it /internal |
| bm::block_allocator | Default malloc based bitblock allocator class |
| bm::blocks_manager< Alloc >::block_any_func | Functor detects if any bit set |
| bm::blocks_manager< Alloc >::block_copy_func | Block copy functor |
| bm::blocks_manager< Alloc >::block_count_arr_func | Bitcounting functor filling the block counts array |
| bm::blocks_manager< Alloc >::block_count_base | Base class for bitcounting functors |
| bm::blocks_manager< Alloc >::block_count_change_func | Bit value change counting functor |
| bm::blocks_manager< Alloc >::block_count_func | Bitcounting functor |
| bm::bvector< Alloc >::iterator_base::block_descr | |
| bm::blocks_manager< Alloc >::block_free_func | Block deallocation functor |
| bm::blocks_manager< Alloc >::block_invert_func | Bitblock invert functor |
| bm::blocks_manager< Alloc >::block_one_func | Fill block with all-one bits functor |
| bm::blocks_manager< Alloc >::block_opt_func | |
| bm::block_set_table< T > | Structure keeps all-left/right ON bits masks |
| bm::blocks_manager< Alloc >::block_zero_func | Set block zero functor |
| bm::blocks_manager< Alloc > | Bitvector blocks manager Embedded class managing bit-blocks on very low level. Includes number of functor classes used in different bitset algorithms |
| bm::blocks_manager< Alloc >::bm_func_base | Base functor class (block visitor) |
| bm::blocks_manager< Alloc >::bm_func_base_const | Base functor class connected for "constant" functors |
| bm::globals< T >::bo | |
| evalheur::BuildCommand | Defines which components to collapse and which components to share among units |
| BuiltinAtom | Stores atoms over builtin predicates, such as X <= 2 |
| BuiltinAtomTable | Lookup table for builtin atoms |
| bm::bv_statistics | Structure with statistical information about bitset's memory allocation details |
| bm::bvector< Alloc > | Bitvector with runtime compression of bits |
| bm::bvector_mini< A > | Bitvector class with very limited functionality |
| bm::bvmini< N > | Mini bitvector used in bvector template to keep block type flags |
| CDNLSolver | |
| CheckLiberalSafetyState | See State::showPlugins |
| ChoiceParserModuleSemantics::choiceElement | |
| ChoiceParserModuleSemantics::choiceHead | |
| ChoiceParserModuleSemantics | |
| ChoicePlugin | Implements choice rules |
| ChoiceParserModuleSemantics::choiceRule | |
| Logger::Closure | Allows for printing within a given scope using some indent |
| 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 | Implements the component graph |
| ComponentGraph::ComponentInfo | Implements meta information about components |
| dlvhex::ConcurrentMessageQueueOwning< MessageBase > | Message queue for inter-thread communication |
| ConcurrentQueueResults | Results that are not streamed but provided to be incrementally requested |
| ConditionalParserModuleSemantics::conditionalLieral | |
| ConditionalLiteralPlugin | Implements choice rules |
| ConditionalParserModuleSemantics | |
| Config | |
| Configuration | Definition of global variables |
| const_set_iterator< T > | This class implements a const_iterator for Set according to public std::iterator |
| ConvertState | See State::showPlugins |
| bm::copy_to_array_functor< B > | Adaptor to copy 1 bits to array |
| bm::copy_to_array_functor_inc< B > | Adaptor to copy 1 bits to array with base increment |
| bm::bvector< Alloc >::counted_enumerator | Constant input iterator designed to enumerate "ON" bits counted_enumerator keeps bitcount, ie number of ON bits starting from the position 0 in the bit string up to the currently enumerated bit |
| CounterVerification< EvalGraphT > | |
| CreateComponentGraphState | See State::showPlugins |
| CreateDependencyGraphState | See State::showPlugins |
| CreateEvalGraphState | See State::showPlugins |
| CSVAnswerSetPrinterCallback | Printer for (parts of) answer sets in CVS format |
| HigherOrderPlugin::CtxData | |
| ManualEvalHeuristicsPlugin::CtxData | |
| ChoicePlugin::CtxData | |
| TestPlugin::CtxData | |
| ConditionalLiteralPlugin::CtxData | |
| QueryPlugin::CtxData | |
| StrongNegationPlugin::CtxData | |
| WeakConstraintPlugin::CtxData | |
| AggregatePlugin::CtxData | |
| FunctionPlugin::CtxData | |
| benchmark::nestingAware::NestingAwareController::Current | |
| bm::d_copy_func< T > | D-Gap copy functor |
| bm::DeBruijn_bit_position< T > | |
| bm::decoder | Class for decoding data from memory buffer |
| bm::decoder_base | Base class for all decoding functionality |
| bm::decoder_little_endian | Class for decoding data from memory buffer |
| bm::decoder_range_adapter< DEC > | Adapter to get words from a range stream (see range serialized bit-block) |
| ExternalLearningHelper::DefaultInputNogoodProvider | Extracts all input atoms of a query and stores it as a nogoods, where false atoms over monotonic and true ones over antimonotonic predicate parameters are skipped |
| ASPSolver::DLVSoftware::Delegate | The delegate for DLVSoftware |
| ASPSolverManager::DelegateInterface | Interface for delegates |
| DependencyGraph | Implements the rule dependency graph |
| ComponentGraph::DependencyInfo | Meta information about rule dependencies in the component |
| DependencyGraph::DependencyInfo | Stores meta information about a single dependency in the graph |
| bm::deseriaizer_base< DEC > | Base deserialization class |
| bm::deserializer< BV, DEC > | Class deserializer |
| internal::DFSVisitor | |
| internalgreedy::DFSVisitor | |
| bm::bvector< Alloc >::iterator_base::dgap_descr | Information about current DGAP block |
| DiamondTopology | |
| bm::distance_metric_descriptor | Distance metric descriptor, holds metric code and result |
| DLVProcess | A wrapper process for the DLV/DLVDB ASP engine |
| DLVResultGrammar< Iterator > | |
| DLVResultParser | Parses DLV answer sets |
| ASPSolver::DLVSoftware | Interface to DLV software |
| DumpingEvalGraphBuilder | Evaluation Graph builder that dumps its evaluation plan |
| DynamicVector< K, T > | Dynamically extended vector using custom index and value types |
| TestSetMinusAtom::EAHeuristics | |
| TestSetMinusAtom::EAHeuristicsFactory | |
| EAInputTupleCache | |
| impl::ElementTag | |
| bm::encoder | Memory encoding |
| EncodingBasedUnfoundedSetChecker | |
| bm::bvector< Alloc >::enumerator | Constant input iterator designed to enumerate "ON" bits |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT > | The EvalGraph template manages a generic evaluation graph: it takes care of a correct join order among in-edges of units, |
| EvalGraphBuilder | This template provides a framework for building an evaluation graph |
| EvalGraphE1Fixture | |
| EvalGraphE2Fixture | |
| EvalGraphE2MirroredFixture | |
| EvalGraphEx1Fixture | |
| OnlineModelBuilder< EvalGraphT >::EvalGraphObserver | |
| EvalHeuristicASP | Creates an evaluation graph specified by an ASP program |
| EvalHeuristicBase< EvalGraphBuilderT > | Base class for all evaluation heuristics |
| EvalHeuristicEasy | Default heuristics in dlvhex 2.0 as described in the LPNMR'11 paper |
| EvalHeuristicFromFile | Creates an evaluation graph based on a specification in a file |
| DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode | |
| EvalHeuristicGreedy | Default heuristics which tries to merge as much as possible, but such that the worst case for the grounder is avoided (see GTTV'13 paper) |
| EvalHeuristicMonolithic | Creates a single evaluation unit for the whole program |
| EvalHeuristicOldDlvhex | Creates evaluation units as maximal bottoms as in dlvhex 1.x |
| EvalHeuristicTrivial | Heuristics which creates a separate evaluation unit for each strongly connected component |
| EvaluateState | See State::showPlugins |
| ManualEvalHeuristicsParserModuleSemantics::evalUnit | |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundle | Couples an EvalUnitDep with its properties |
| OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingProperties | Properties required at each eval unit for model building: * model generator factory * current models and refcount |
| EvalUnitModelGeneratorFactoryProperties< InterpretationT > | Model generator factory properties for eval units such properties are required by model builders |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::EvalUnitModels | Stores the models for one EvalUnit |
| EvalUnitProjectionProperties | Projection properties for eval units such properties are required by the model graph |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundle | Couples an EvalUnit with its properties |
| BaseModelGenerator::ExternalAnswerTupleCallback | Base class for callback functions for handling external atom answer tuples |
| BaseModelGenerator::ExternalAnswerTupleMultiCallback | Callback function object for handling external atom answer tuples by multiple callbacks |
| ExternalAtom | Stores an external atom of form &<predicate>[<inputs>](<outputs>) |
| ExternalAtomEvaluationHeuristics | Decides when to evaluate an external atom |
| ExternalAtomEvaluationHeuristicsAlways | Evaluates always when the heuristics is asked |
| ExternalAtomEvaluationHeuristicsAlwaysFactory | Factory for ExternalAtomEvaluationHeuristicsAlways |
| ExternalAtomEvaluationHeuristicsEAComplete | Evaluates always when the heuristics is asked and all atoms relevant for this external atom are assigned |
| ExternalAtomEvaluationHeuristicsEACompleteFactory | Factory for ExternalAtomEvaluationHeuristicsEAComplete |
| ExternalAtomEvaluationHeuristicsFactory | Factory for ExternalAtomEvaluationHeuristics |
| ExternalAtomEvaluationHeuristicsInputComplete | Evaluates always when the heuristics is asked and the input to the external atom is complete |
| ExternalAtomEvaluationHeuristicsInputCompleteFactory | Factory for ExternalAtomEvaluationHeuristicsInputComplete |
| ExternalAtomEvaluationHeuristicsNever | Never evaluates when the heuristics is asked (but the reasoner will still do this whenever absolutely necessary) |
| ExternalAtomEvaluationHeuristicsNeverFactory | Factory for ExternalAtomEvaluationHeuristicsNever |
| ExternalAtomEvaluationHeuristicsPeriodic | Evaluates in regular intervals |
| ExternalAtomEvaluationHeuristicsPeriodicFactory | Factory for ExternalAtomEvaluationHeuristicsPeriodicFactory |
| ExternalAtomMask | Mask for external atoms |
| ExternalAtomTable | Lookup table for external atoms |
| ExternalAtomVerificationTree | Implements a tree representation of IO-nogoods |
| ExternalLearningHelper | Provides helper function for learning customized nogoods |
| DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT > | |
| DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver > | |
| ExtSourceProperties | This struct is used to store sets of properties of an external atom |
| FatalError | Severe Error, supposed to be followed by program termination |
| FinalCallback | Callback functor after model enumeration finished or aborted |
| FinalEvalUnitPropertyBase | Definition of eval graph as used in real dlvhex evaluation |
| DLVHEX_NAMESPACE_BEGIN::FiniteFiberChecker | |
| DLVHEX_NAMESPACE_BEGIN::FinitenessChecker | |
| bm::first_bit_table< T > | Structure keeps index of first right 1 bit for every byte |
| FLPModelGeneratorBase | |
| FLPModelGeneratorFactoryBase | Factory for model generators which provides capability for true FLP reduct computation via rewriting, guessing, and checking |
| FunctionComposeAtom | |
| FunctionDecomposeAtom | |
| FunctionDecomposeGeneralAtom | |
| FunctionInterprete | |
| FunctionParserModuleAtomSemantics | |
| FunctionParserModuleTermSemantics | |
| FunctionPlugin | Implements function symbols either by native handling or by rewriting to external atoms |
| FunctionRewriter | |
| FunctionParserModuleTermSemantics::functionTermConstruct | |
| FunctionParserModuleAtomSemantics::functionTermEval | |
| bm::gamma_decoder< T, TBitIO > | Elias Gamma decoder |
| bm::gamma_encoder< T, TBitIO > | Functor for Elias Gamma encoding |
| bm::gap_len_table< T > | Default GAP lengths table |
| bm::gap_len_table_min< T > | Alternative GAP lengths table. Good for for memory saver mode and very sparse bitsets |
| bm::blocks_manager< Alloc >::gap_level_func | |
| bm::gap_transpose_engine< GT, BT, BLOCK_SIZE > | Bit-plain splicing of a GAP block |
| GeneralError | General exception class |
| GenericDepGraphCompGraphFixture< ProgramCtxFixtureT > | |
| GenericDepGraphFixture< ProgramCtxFixtureT > | |
| ASPSolverManager::GenericOptions | Generic options usable for every solver type |
| GenPluginAtom1 | |
| GenPluginAtom2 | |
| GenuineGrounder | Base class for grounder implementations |
| GenuineGroundSolver | Base class for ground ASP solvers |
| GenuineGuessAndCheckModelGenerator | Model generator for arbitrary components |
| GenuineGuessAndCheckModelGeneratorFactory | Factory for the GenuineGuessAndCheckModelGenerator |
| GenuinePlainModelGenerator | A model generator for components without inner (i.e |
| GenuinePlainModelGeneratorFactory | Factory for the GenuinePlainModelGenerator |
| GenuineSolver | This class combines a grounder and a solver to support direct solving of nonground programs |
| GenuineWellfoundedModelGenerator | Model generator for purely monotonic components |
| GenuineWellfoundedModelGeneratorFactory | Factory for the GenuineWellfoundedModelGenerator |
| GetArityAtom | |
| bm::globals< T > | Internal structure |
| GuessAndCheckModelGenerator | |
| GuessAndCheckModelGeneratorFactory | Factory for the GuessAndCheckModelGenerator |
| handle_dbg | |
| handle_fact | |
| handle_finished_answerset | |
| handle_ident | |
| handle_int | |
| DependencyGraph::HeadBodyHelper | See boost::graph |
| DependencyGraph::HeadBodyInfo | Stores for a given ordinary atom where it occurs |
| DependencyGraph::HeadPredicateTag | See boost::graph |
| HexGrammar< Iterator, Skipper > | Implements the standard HEX-syntax |
| HexGrammarBase< Iterator, Skipper > | Basic HEX Grammar |
| HexGrammarSemantics | Grammar for parsing HEX using boost::spirit |
| HexParser | Implements the parser for HEX-programs |
| HexParserModule | Implements a plugin into the parser for parsing special non-standard HEX-syntax |
| HexParserSkipperGrammar< Iterator > | Skip parser for parsing hex (eliminates spaces and comments) |
| HigherOrderParserModuleSemantics::higherOrderAtom | |
| HigherOrderParserModuleSemantics | |
| HigherOrderPlugin | Implements higher-order atoms (i.e., atoms with variables as predicates) by rewriting them to ordinary ASP |
| ID | IDs are used to identify several types of objects in HEX-program evaluation |
| EvalGraphBuilder::identity | Identity function |
| DependencyGraph::IDTag | See boost:graph |
| ImmediateNogoodGrounder | Instantiates nonground nogoods immediately for all possible substitutions |
| Registry::Impl | |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Impl | Helper for printing a single EvalUnit in dot format |
| InputProvider::Impl | |
| DependencyGraph::InBodyTag | See boost::graph |
| DependencyGraph::InHeadTag | See boost::graph |
| Logger::Init | Logger initializer |
| ExternalLearningHelper::InputNogoodProvider | Extracts the relevant part of a query which is the reason for some tuple to be in the output or not |
| InputProvider | Abstractly provides input to dlvhex from various sources |
| bm::bvector< Alloc >::insert_iterator | Output iterator iterator designed to set "ON" bits based on input sequence of integers (bit indeces) |
| insert_set_iterator< T > | This class implements an insertion iterator for Set according to public std::iterator |
| impl::InstTag | |
| BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB | For usual model building where we want to collect all true answers as replacement atoms in an interpretation |
| InternalGroundASPSolver | Implements an internal ASP solver without using third-party software |
| InternalGroundDASPSolver | Internal solver for disjunctive ASP without using third-party software |
| InternalGrounder | Implements a grounder without using third-party software |
| Interpretation | Stores a set of atoms efficiently as a bitset |
| InterpretationBase | Base class for interpretations |
| IsFunctionTermAtom | |
| bm::bvector< Alloc >::iterator_base | Base class for all iterators |
| bm::iterator_deserializer< BV, SerialIterator > | Iterator to walk forward the serialized stream |
| impl::KindTag | |
| LazyNogoodGrounder | Instantiates nonground nogoods stepwise according to the current interpretation |
| LiberalSafetyChecker | Implements liberal safety extensible by LiberalSafetyPlugin |
| LiberalSafetyPlugin | |
| LiberalSafetyPluginFactory | |
| LineTopology | |
| PluginContainer::LoadedPlugin | |
| Logger | Singleton logger class |
| ManualEvalHeuristicsParserModuleSemantics | |
| ManualEvalHeuristicsPlugin | Allows for implementing evaluation heuristics by manually specifying the units |
| bm::mem_alloc< BA, PA > | BM style allocator adapter |
| bm::miniset< A, N > | Template class implements memory saving set functionality |
| MLPSolverState | See State::showPlugins |
| MLPSyntaxChecker | The complete class to perform syntactic checking on the modular logic programs |
| ModelBuilder< EvalGraphT > | Base class for all model builders |
| ModelBuilderConfig< EvalGraphT > | Generic configuration for all model builders |
| ModelCallback | Callback functor for processing complete models of the HEX program |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelDepPropertyBundle | Couples a model dependency with its properties |
| TestModelGeneratorFactory::ModelGenerator | |
| ModelGeneratorBase< InterpretationT > | Base class for model generators |
| ModelGeneratorFactoryBase< InterpretationT > | Instantiates a ModelGenerator |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT > | Implements the ModelGraph |
| ModelGraphE2M2Fixture | |
| ModelBuilder< EvalGraphT >::ModelProperties | Properties of a model |
| ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundle | Couples a model with its properties |
| Module | Module structure, used in ModuleTable.h |
| ModuleAtom | Module atom structure for storing atoms of kind <predicate>[<inputs>]::<outputAtom> |
| ModuleAtomTable | Lookup table for module atoms |
| ModuleHexParser | Parses HEX-programs, extendable by parser modules |
| impl::ModuleNameTag | |
| ModuleSyntaxCheckState | See State::showPlugins |
| ModuleTable | Lookup table for modules |
| benchmark::nestingAware::NestingAwareController | Supports benchmarking of different components of dlvhex |
| ExternalAtomVerificationTree::Node | Node of GenuineGuessAndCheckModelGenerator::ExternalAtomVerificationTree |
| DependencyGraph::NodeInfo | Meta information about a single node in the graph |
| LiberalSafetyChecker::NodeInfoTag | |
| LiberalSafetyChecker::NodeMappingInfo | See boost::graph |
| DependencyGraph::NodeMappingInfo | See boost:graph |
| Nogood | Stores a set of signed literals which cannot be simultanously true |
| NogoodContainer | Base class for nogood containers |
| NogoodGrounder | Instantiates nonground nogoods |
| NogoodSet | Stores a set of nogoods |
| none_t | |
| EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Observer | Observer |
| OfflineModelBuilder< EvalGraphT > | Template for offline model building of a ModelGraph based on an EvalGraph |
| OfflineModelBuilderTFixture< EvalGraphBaseFixtureT > | |
| OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingProperties | Properties of offline model building |
| OnlineModelBuilder< EvalGraphT > | Template for online model building of a ModelGraph based on an EvalGraph |
| OnlineModelBuilderTFixture< EvalGraphBaseFixtureT > | |
| bm::operation_deserializer< BV > | Class deserializer, can perform logical operation on bit-vector and serialized bit-vector |
| bm::operation_functions< T > | |
| OptimizeEDBDependencyGraphState | See State::showPlugins |
| option | |
| ASPSolver::DLVSoftware::Options | Specific options for DLV |
| OrderedSet< T, H > | Implementation of an ordered set based on boost::unordered_map |
| OrdinaryASPProgram | This is kind of a program context for pure (=non-HEX) ASPs |
| OrdinaryASPSolver | Abstract base class to capture ASP solvers |
| OrdinaryAtom | Stores ordinary atoms of kind p(a1, ..., an) |
| OrdinaryAtomTable | Implements a lookup table for ordinary atoms |
| ostream_printable< T > | With this class, you can make your own classes ostream-printable |
| ParserState | |
| ParseState | See State::showPlugins |
| PlainAuxPrinter | Prints auxiliary atoms in a generic fashion of kind aux_XXX(...) |
| PlainModelGenerator | A model generator for components without inner (i.e |
| PlainModelGeneratorFactory | Factory for the PlainModelGenerator |
| 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 | See State::showPlugins |
| Predicate | Predicate structure, used in PredicateTable.h |
| PredicateMask | Allows for efficient retrieval of all atoms over a given predicate |
| PredicateMatches | General purpose predicate functor, which returns true iff predicate of g matches pred |
| impl::PredicateNameTag | |
| PredicateTable | Lookup table for predicates |
| impl::PredicateTag | |
| PreparedResults | Results that are not streamed but provided to be incrementally requested |
| print_container | Printable object base class |
| print_method_container | Printable object base class |
| print_stream_container< T > | Printable object base class |
| Printer | Prints dlvhex IDs in differnt formats depending on the implementation in a subclass |
| Process | Base class for solver processes |
| ProcessBuf | A std::streambuf interface for creating child processes and writing/reading data via stdin/stdout |
| TestPlugin::ProductionRequirementsAtom | |
| AnnotatedGroundProgram::ProgramComponent | Stores a strongly connected component of the ground program according to its atom dependencies |
| ProgramCtx | Program context class |
| ProgramExt1ProgramCtxFixture | |
| ProgramMCSMedDProgramCtxFixture | |
| ProgramMCSMedEQProgramCtxFixture | |
| PropagatorCallback | Base class for propagator callbacks |
| bm::ptr_allocator | Default malloc based bitblock allocator class |
| bm::ptr_guard< T > | Mini auto-pointer for internal memory management |
| Term::PtrRef | |
| PluginAtom::Query | Query class which provides the input of an external atom call |
| QueryParserModuleSemantics::queryBody | |
| QueryParserModuleSemantics | |
| QueryPlugin | Implements brave and cautious queries by rewriting them to answer set computation and postprocessind |
| bm::random_subset< BV > | |
| RandomTopology | |
| boost::range_const_iterator< Set< T > > | |
| boost::range_mutable_iterator< Set< T > > | |
| RawPrinter | Prints IDs in human-readable format |
| Term::Ref | |
| bm::bvector< Alloc >::reference | Class reference implements an object for bit assignment |
| Registry | Registry for entities used in programs as IDs (collection of symbol tables) |
| CAUAlgorithms::RelevanceMarkingVisitor< Graph > | |
| ASPSolverManager::Results | Represents a set of answer sets, which is possibly lazily generated |
| RewriteEDBIDBState | See State::showPlugins |
| RingTopology | |
| bm::tmatrix< T, ROWS, COLS >::rstat | Row characteristics for transposed matrix |
| Rule | Stores a rule of a HEX-program |
| HexGrammarBase< Iterator, Skipper >::Rule< Attrib, Dummy > | Helper struct for creating rule types |
| HexGrammarBase< Iterator, Skipper >::Rule< void, Dummy > | |
| RuleTable | Lookup table for rules |
| SafetyChecker | Ordinary safety checker class |
| SafetyCheckerBase | Abstract base class for the SaftyCheckers |
| SafetyCheckState | See State::showPlugins |
| SATSolver | Base class for satisfiability solvers |
| sem< Tag > | Generic semantic action processor which creates useful compile-time error messages |
| sem< ChoiceParserModuleSemantics::choiceElement > | |
| sem< ChoiceParserModuleSemantics::choiceHead > | |
| sem< ChoiceParserModuleSemantics::choiceRule > | |
| sem< ConditionalParserModuleSemantics::conditionalLieral > | |
| sem< FunctionParserModuleAtomSemantics::functionTermEval > | |
| sem< FunctionParserModuleTermSemantics::functionTermConstruct > | |
| 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::ruleVariableDisjunction > | |
| sem< HexGrammarSemantics::termFromCIdent > | |
| sem< HexGrammarSemantics::termFromFunctionTerm > | |
| sem< HexGrammarSemantics::termFromInteger > | |
| sem< HexGrammarSemantics::termFromRange > | |
| sem< HexGrammarSemantics::termFromString > | |
| sem< HexGrammarSemantics::termFromVariable > | |
| sem< HexGrammarSemantics::termId > | |
| sem< HexGrammarSemantics::weakconstraint > | |
| sem< HexGrammarSemantics::weakconstraintaspcore2 > | |
| sem< HigherOrderParserModuleSemantics::higherOrderAtom > | |
| sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit > | |
| sem< QueryParserModuleSemantics::queryBody > | |
| sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom > | |
| SemanticActionBase< ManagerClass, TargetAttribute, Tag > | Base class for semantic actions |
| SenseNotArmed1PluginAtom | |
| SenseNotArmed2PluginAtom | |
| bm::serial_stream_iterator< DEC > | Serialization stream iterator |
| bm::serializer< BV > | Bit-vector serialization class |
| Set< T > | Data structure for storing sets based on a sorted array |
| set_iterator< T > | This class implements an iterator for Set according to public std::iterator |
| SetupProgramCtxState | See State::showPlugins |
| ShowPluginsState | See State::showPlugins |
| SimpleEvaluator | |
| CDNLSolver::SimpleHashID | Allows for hashing ID |
| CDNLSolver::SimpleHashIDAddress | Allows for hashing IDAddress |
| SimpleNogoodContainer | A NogoodContainer based on NogoodSet |
| ASPSolverManager::SoftwareBase | Generic solver software to be implemented for each solver type |
| ASPSolverManager::SoftwareConfiguration< SoftwareT > | Generic concrete software configuration, parameterized by a concrete software |
| ASPSolverManager::SoftwareConfigurationBase | Interface to a software configuration for solving |
| SortElement< T > | Implements a pair of an index and an element |
| bm::sse_empty_guard | SSE2 reinitialization guard class |
| StarTopology | |
| benchmark::simple::BenchmarkController::Stat | Information about a single benchmark value |
| benchmark::nestingAware::NestingAwareController::Stat | Information about a single benchmark value |
| State | State base class |
| bm::bvector< Alloc >::statistics | Statistical information about bitset's memory allocation details |
| StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom | |
| StrongNegationParserModuleSemantics | |
| StrongNegationPlugin | Implements strong negation by rewriting it to dedicated auxiliary predicates |
| StrongSafetyChecker | Strong safety checker class |
| StrongSafetyCheckState | See State::showPlugins |
| ProgramCtx::SubprogramAnswerSetCallback | Class for subprogram handling |
| TestPlugin::SumNonZeroAtom | |
| SyntaxError | Error caused by malformed input program |
| Table< ValueT, IndexT > | Implements a lookup table for custom key and value types |
| Term | Stores terms |
| TermTable | Lookup tables for terms |
| impl::TermTag | |
| TestAAtom | |
| TestAppendAtom | |
| TestASPQueryAtom | |
| TestBAtom | |
| TestBraveQueryAtom | |
| TestCAtom | |
| TestCautiousQueryAtom | |
| TestConcatAllAtom | |
| TestConcatAtom | |
| TestCycleAtom | |
| TestDisjAtom | |
| TestDLSimulatorAtom | |
| TestEqualAtom | |
| TestEvalUnitPropertyBase | |
| TestEvenAtom | |
| TestFinalCallback | |
| TestFirstAtom | |
| TestPlugin::TestGen2Atom | |
| TestHashAtom | |
| TestIdAtom | |
| TestIdcAtom | |
| TestIdpAtom | |
| TestInterpretation | |
| TestPlugin::TestIsEmpty | |
| TestLessThanAtom | |
| TestListConcatAtom | |
| TestListDomainAtom | |
| TestListLengthAtom | |
| TestListMergeAtom | |
| TestListSplitAtom | |
| TestListSplitHalfAtom | |
| TestMinusOneAtom | |
| TestModelGeneratorFactory | |
| TestModelPropertyBase | |
| TestMoveAtom | |
| TestNegAtom | |
| TestNonmon2Atom | |
| TestNonmonAtom | |
| TestPlugin::TestNumberOfBalls | |
| TestPlugin::TestNumberOfBallsGE | |
| TestPlugin::TestNumberOfBallsSE | |
| TestOddAtom | |
| TestPlugin | |
| TestPluginAspCtxAcc | |
| TestPluginAtomCount | |
| TestPluginAtomReach | |
| TestProgramCtx | |
| TestPushAtom | |
| TestReachableAtom | |
| TestSetMinusAtom | |
| TestSetMinusNogoodBasedLearningAtom | |
| TestSetMinusNonComfortAtom | |
| TestSetMinusNongroundNogoodBasedLearningAtom | |
| TestSetMinusPartialAtom | |
| TestSetMinusRuleBasedLearningAtom | |
| TestPlugin::TestSetUnionAtom | |
| TestSmallerThanAtom | |
| TestStrlenAtom | |
| TestSubstrAtom | |
| TestTransitiveClosureAtom | |
| TestTrueMultiInpAtom | |
| TestTrueMultiInpAtom2 | |
| TestZeroArityAtom | |
| impl::TextTag | |
| bm::tmatrix< T, ROWS, COLS > | Mini-matrix for bit transposition purposes |
| TreeTopology | |
| impl::TupleTag | |
| UnfoundedSetChecker | Unfounded set checker for HEX programs (with external atoms) |
| UnfoundedSetCheckerManager | Creates independent unfounded set checkers for all components of a program and automatically calls them appropriately |
| UnfoundedSetCheckHeuristics | Decides when to do an unfounded set check (over partial interpretations) |
| UnfoundedSetCheckHeuristicsFactory | Factory for UnfoundedSetCheckHeuristics |
| UnfoundedSetCheckHeuristicsMax | Performs UFS checks whenever deterministic reasoning cannot derive further atoms |
| UnfoundedSetCheckHeuristicsMaxFactory | Factory for UnfoundedSetCheckHeuristicsMax |
| UnfoundedSetCheckHeuristicsPeriodic | Performs UFS checks periodically |
| UnfoundedSetCheckHeuristicsPeriodicFactory | Factory for UnfoundedSetCheckHeuristicsPeriodic |
| UnfoundedSetCheckHeuristicsPost | Contains implementers of UnfoundedSetCheckHeuristics to decide for a given (partial) assignment if a minimality check shall be performed at this point |
| UnfoundedSetCheckHeuristicsPostFactory | Factory for UnfoundedSetCheckHeuristicsPost |
| UnfoundedSetChecker::UnfoundedSetVerificationStatus | Defines data structures used for verification of UFS candidates |
| EvalGraphBuilder::UnusedEdgeFilter | Edges of component graph that still need to be put into eval units |
| EvalGraphBuilder::UnusedVertexFilter | For subgraph of component graph that still needs to be put into eval units |
| UsageError | |
| Term::VecRef | |
| BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB | Callback for checking whether external computations reflect guesses of external atom truth values |
| BaseModelGenerator::VerifyExternalAtomCB | Verifies positive and negative replacement atoms against an external atom |
| WeakConstraintPlugin | Implements weak plugins by rewriting them to ordinary rules |
| WellfoundedModelGenerator | |
| WellfoundedModelGeneratorFactory | Factory for the WellfoundedModelGenerator |
1.7.6.1