dlvhex  2.5.0
Data Structures
Here are the data structures with brief descriptions:
bm::_copyright< T >Internal structure
AbovePluginAtom
impl::AddressTag
DLVHEX_NAMESPACE_BEGIN::AggregateAndBuildinChecker
AggregateAtomStores aggregate atoms, such as Z <= #avg{X : p(X)} <= Y
AggregateAtomTableLookup table for aggregate atoms
AggregatePluginImplements 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 >
AnnotatedGroundProgramStores meta information about a ground program, including mappings of external atom auxiliaries to external atoms
PluginAtom::AnswerOutput of an external atom call
AnswerSetStores a set of atoms as in an Interpretation enhanced with additional information which is necessary for encoding answer sets (such as e.g
AnswerSetPrinterCallbackBase class for customized answer set printers
AnswerSetQueueElementStores one answer set
DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver
ASPSolverManager
AssumptionBasedUnfoundedSetChecker
AtomBase class for all atoms
AtomMatchesGeneral purpose predicate functor, which returns true iff (*g == a)
LiberalSafetyChecker::AttributeStores an ordinary or external (input or output) attribute
DLVHEX_NAMESPACE_BEGIN::AuxiliaryKey
DLVHEX_NAMESPACE_BEGIN::AuxiliaryValue
AuxPrinterRegistry Plugin for printing auxiliary IDs
BaseModelGeneratorBase class for all model generators
BaseModelGeneratorFactoryA model generator factory provides model generators for a certain types of interpretations
BaseTopology
benchmark::simple::BenchmarkControllerSupports 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_descrInformation about current bitblock
bm::bitblock_get_adapterBit-block get adapter, takes bitblock and represents it as a get_32() accessor function /internal
bm::bitblock_store_adapterBit-block store adapter, takes bitblock and saves results into it /internal
bm::bitblock_sum_adapterBit-block sum adapter, takes values and sums it /internal
bm::block_allocatorDefault malloc based bitblock allocator class
bm::blocks_manager< Alloc >::block_any_funcFunctor detects if any bit set
bm::blocks_manager< Alloc >::block_copy_funcBlock copy functor
bm::blocks_manager< Alloc >::block_count_arr_funcBitcounting functor filling the block counts array
bm::blocks_manager< Alloc >::block_count_baseBase class for bitcounting functors
bm::blocks_manager< Alloc >::block_count_change_funcBit value change counting functor
bm::blocks_manager< Alloc >::block_count_funcBitcounting functor
bm::bvector< Alloc >::iterator_base::block_descr
bm::blocks_manager< Alloc >::block_free_funcBlock deallocation functor
bm::blocks_manager< Alloc >::block_invert_funcBitblock invert functor
bm::blocks_manager< Alloc >::block_one_funcFill 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_funcSet 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_baseBase functor class (block visitor)
bm::blocks_manager< Alloc >::bm_func_base_constBase functor class connected for "constant" functors
bm::globals< T >::bo
evalheur::BuildCommandDefines which components to collapse and which components to share among units
BuiltinAtomStores atoms over builtin predicates, such as X <= 2
BuiltinAtomTableLookup table for builtin atoms
bm::bv_statisticsStructure 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
CheckLiberalSafetyStateSee State::showPlugins
ChoiceParserModuleSemantics::choiceElement
ChoiceParserModuleSemantics::choiceHead
ChoiceParserModuleSemantics
ChoicePluginImplements choice rules
ChoiceParserModuleSemantics::choiceRule
Logger::ClosureAllows for printing within a given scope using some indent
ComfortAtomString-based Atom object (comfort interface)
ComfortInterpretation
ComfortLiteral
ComfortPluginAtomString-based PluginAtom interface (comfort interface)
ComfortPluginAtom::ComfortQueryQuery class which provides the input of an external atom call
ComfortTermString-based term object (comfort interface)
ComponentGraphImplements the component graph
ComponentGraph::ComponentInfoImplements meta information about components
dlvhex::ConcurrentMessageQueueOwning< MessageBase >Message queue for inter-thread communication
ConcurrentQueueResultsResults that are not streamed but provided to be incrementally requested
ConditionalParserModuleSemantics::conditionalLieral
ConditionalLiteralPluginImplements choice rules
ConditionalParserModuleSemantics
Config
ConfigurationDefinition of global variables
const_set_iterator< T >This class implements a const_iterator for Set according to public std::iterator
ConvertStateSee 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_enumeratorConstant 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 >
CreateComponentGraphStateSee State::showPlugins
CreateDependencyGraphStateSee State::showPlugins
CreateEvalGraphStateSee State::showPlugins
CSVAnswerSetPrinterCallbackPrinter 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::decoderClass for decoding data from memory buffer
bm::decoder_baseBase class for all decoding functionality
bm::decoder_little_endianClass 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::DefaultInputNogoodProviderExtracts 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::DelegateThe delegate for DLVSoftware
ASPSolverManager::DelegateInterfaceInterface for delegates
DependencyGraphImplements the rule dependency graph
ComponentGraph::DependencyInfoMeta information about rule dependencies in the component
DependencyGraph::DependencyInfoStores 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_descrInformation about current DGAP block
DiamondTopology
bm::distance_metric_descriptorDistance metric descriptor, holds metric code and result
DLVProcessA wrapper process for the DLV/DLVDB ASP engine
DLVResultGrammar< Iterator >
DLVResultParserParses DLV answer sets
ASPSolver::DLVSoftwareInterface to DLV software
DumpingEvalGraphBuilderEvaluation 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::encoderMemory encoding
EncodingBasedUnfoundedSetChecker
bm::bvector< Alloc >::enumeratorConstant 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,
EvalGraphBuilderThis template provides a framework for building an evaluation graph
EvalGraphE1Fixture
EvalGraphE2Fixture
EvalGraphE2MirroredFixture
EvalGraphEx1Fixture
OnlineModelBuilder< EvalGraphT >::EvalGraphObserver
EvalHeuristicASPCreates an evaluation graph specified by an ASP program
EvalHeuristicBase< EvalGraphBuilderT >Base class for all evaluation heuristics
EvalHeuristicEasyDefault heuristics in dlvhex 2.0 as described in the LPNMR'11 paper
EvalHeuristicFromFileCreates an evaluation graph based on a specification in a file
DLVHEX_NAMESPACE_BEGIN::EvalHeuristicFromHEXSourcecode
EvalHeuristicGreedyDefault heuristics which tries to merge as much as possible, but such that the worst case for the grounder is avoided (see GTTV'13 paper)
EvalHeuristicMonolithicCreates a single evaluation unit for the whole program
EvalHeuristicOldDlvhexCreates evaluation units as maximal bottoms as in dlvhex 1.x
EvalHeuristicTrivialHeuristics which creates a separate evaluation unit for each strongly connected component
EvaluateStateSee State::showPlugins
ManualEvalHeuristicsParserModuleSemantics::evalUnit
EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitDepPropertyBundleCouples an EvalUnitDep with its properties
OnlineModelBuilder< EvalGraphT >::EvalUnitModelBuildingPropertiesProperties 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 >::EvalUnitModelsStores the models for one EvalUnit
EvalUnitProjectionPropertiesProjection properties for eval units such properties are required by the model graph
EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::EvalUnitPropertyBundleCouples an EvalUnit with its properties
BaseModelGenerator::ExternalAnswerTupleCallbackBase class for callback functions for handling external atom answer tuples
BaseModelGenerator::ExternalAnswerTupleMultiCallbackCallback function object for handling external atom answer tuples by multiple callbacks
ExternalAtomStores an external atom of form &<predicate>[<inputs>](<outputs>)
ExternalAtomEvaluationHeuristicsDecides when to evaluate an external atom
ExternalAtomEvaluationHeuristicsAlwaysEvaluates always when the heuristics is asked
ExternalAtomEvaluationHeuristicsAlwaysFactoryFactory for ExternalAtomEvaluationHeuristicsAlways
ExternalAtomEvaluationHeuristicsEACompleteEvaluates always when the heuristics is asked and all atoms relevant for this external atom are assigned
ExternalAtomEvaluationHeuristicsEACompleteFactoryFactory for ExternalAtomEvaluationHeuristicsEAComplete
ExternalAtomEvaluationHeuristicsFactoryFactory for ExternalAtomEvaluationHeuristics
ExternalAtomEvaluationHeuristicsInputCompleteEvaluates always when the heuristics is asked and the input to the external atom is complete
ExternalAtomEvaluationHeuristicsInputCompleteFactoryFactory for ExternalAtomEvaluationHeuristicsInputComplete
ExternalAtomEvaluationHeuristicsNeverNever evaluates when the heuristics is asked (but the reasoner will still do this whenever absolutely necessary)
ExternalAtomEvaluationHeuristicsNeverFactoryFactory for ExternalAtomEvaluationHeuristicsNever
ExternalAtomEvaluationHeuristicsPeriodicEvaluates in regular intervals
ExternalAtomEvaluationHeuristicsPeriodicFactoryFactory for ExternalAtomEvaluationHeuristicsPeriodicFactory
ExternalAtomMaskMask for external atoms
ExternalAtomTableLookup table for external atoms
ExternalAtomVerificationTreeImplements a tree representation of IO-nogoods
ExternalLearningHelperProvides helper function for learning customized nogoods
DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT >
DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver >
ExtSourcePropertiesThis struct is used to store sets of properties of an external atom
FatalErrorSevere Error, supposed to be followed by program termination
FinalCallbackCallback functor after model enumeration finished or aborted
FinalEvalUnitPropertyBaseDefinition 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
FLPModelGeneratorFactoryBaseFactory for model generators which provides capability for true FLP reduct computation via rewriting, guessing, and checking
FunctionComposeAtom
FunctionDecomposeAtom
FunctionDecomposeGeneralAtom
FunctionInterprete
FunctionParserModuleAtomSemantics
FunctionParserModuleTermSemantics
FunctionPluginImplements 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
GeneralErrorGeneral exception class
GenericDepGraphCompGraphFixture< ProgramCtxFixtureT >
GenericDepGraphFixture< ProgramCtxFixtureT >
ASPSolverManager::GenericOptionsGeneric options usable for every solver type
GenPluginAtom1
GenPluginAtom2
GenuineGrounderBase class for grounder implementations
GenuineGroundSolverBase class for ground ASP solvers
GenuineGuessAndCheckModelGeneratorModel generator for arbitrary components
GenuineGuessAndCheckModelGeneratorFactoryFactory for the GenuineGuessAndCheckModelGenerator
GenuinePlainModelGeneratorA model generator for components without inner (i.e
GenuinePlainModelGeneratorFactoryFactory for the GenuinePlainModelGenerator
GenuineSolverThis class combines a grounder and a solver to support direct solving of nonground programs
GenuineWellfoundedModelGeneratorModel generator for purely monotonic components
GenuineWellfoundedModelGeneratorFactoryFactory for the GenuineWellfoundedModelGenerator
GetArityAtom
bm::globals< T >Internal structure
GuessAndCheckModelGenerator
GuessAndCheckModelGeneratorFactoryFactory for the GuessAndCheckModelGenerator
handle_dbg
handle_fact
handle_finished_answerset
handle_ident
handle_int
DependencyGraph::HeadBodyHelperSee boost::graph
DependencyGraph::HeadBodyInfoStores for a given ordinary atom where it occurs
DependencyGraph::HeadPredicateTagSee boost::graph
HexGrammar< Iterator, Skipper >Implements the standard HEX-syntax
HexGrammarBase< Iterator, Skipper >Basic HEX Grammar
HexGrammarSemanticsGrammar for parsing HEX using boost::spirit
HexParserImplements the parser for HEX-programs
HexParserModuleImplements 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
HigherOrderPluginImplements higher-order atoms (i.e., atoms with variables as predicates) by rewriting them to ordinary ASP
IDIDs are used to identify several types of objects in HEX-program evaluation
EvalGraphBuilder::identityIdentity function
DependencyGraph::IDTagSee boost:graph
ImmediateNogoodGrounderInstantiates nonground nogoods immediately for all possible substitutions
Registry::Impl
EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::ImplHelper for printing a single EvalUnit in dot format
InputProvider::Impl
DependencyGraph::InBodyTagSee boost::graph
DependencyGraph::InHeadTagSee boost::graph
Logger::InitLogger initializer
ExternalLearningHelper::InputNogoodProviderExtracts the relevant part of a query which is the reason for some tuple to be in the output or not
InputProviderAbstractly provides input to dlvhex from various sources
bm::bvector< Alloc >::insert_iteratorOutput 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::IntegrateExternalAnswerIntoInterpretationCBFor usual model building where we want to collect all true answers as replacement atoms in an interpretation
InternalGroundASPSolverImplements an internal ASP solver without using third-party software
InternalGroundDASPSolverInternal solver for disjunctive ASP without using third-party software
InternalGrounderImplements a grounder without using third-party software
InterpretationStores a set of atoms efficiently as a bitset
InterpretationBaseBase class for interpretations
IsFunctionTermAtom
bm::bvector< Alloc >::iterator_baseBase class for all iterators
bm::iterator_deserializer< BV, SerialIterator >Iterator to walk forward the serialized stream
impl::KindTag
LazyNogoodGrounderInstantiates nonground nogoods stepwise according to the current interpretation
LiberalSafetyCheckerImplements liberal safety extensible by LiberalSafetyPlugin
LiberalSafetyPlugin
LiberalSafetyPluginFactory
LineTopology
PluginContainer::LoadedPlugin
LoggerSingleton logger class
ManualEvalHeuristicsParserModuleSemantics
ManualEvalHeuristicsPluginAllows 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
MLPSolverStateSee State::showPlugins
MLPSyntaxCheckerThe 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
ModelCallbackCallback functor for processing complete models of the HEX program
ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelDepPropertyBundleCouples 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 >::ModelPropertiesProperties of a model
ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::ModelPropertyBundleCouples a model with its properties
ModuleModule structure, used in ModuleTable.h
ModuleAtomModule atom structure for storing atoms of kind <predicate>[<inputs>]::<outputAtom>
ModuleAtomTableLookup table for module atoms
ModuleHexParserParses HEX-programs, extendable by parser modules
impl::ModuleNameTag
ModuleSyntaxCheckStateSee State::showPlugins
ModuleTableLookup table for modules
benchmark::nestingAware::NestingAwareControllerSupports benchmarking of different components of dlvhex
ExternalAtomVerificationTree::NodeNode of GenuineGuessAndCheckModelGenerator::ExternalAtomVerificationTree
DependencyGraph::NodeInfoMeta information about a single node in the graph
LiberalSafetyChecker::NodeInfoTag
LiberalSafetyChecker::NodeMappingInfoSee boost::graph
DependencyGraph::NodeMappingInfoSee boost:graph
NogoodStores a set of signed literals which cannot be simultanously true
NogoodContainerBase class for nogood containers
NogoodGrounderInstantiates nonground nogoods
NogoodSetStores a set of nogoods
none_t
EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::ObserverObserver
OfflineModelBuilder< EvalGraphT >Template for offline model building of a ModelGraph based on an EvalGraph
OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
OfflineModelBuilder< EvalGraphT >::OfflineModelBuildingPropertiesProperties 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 >
OptimizeEDBDependencyGraphStateSee State::showPlugins
option
ASPSolver::DLVSoftware::OptionsSpecific options for DLV
OrderedSet< T, H >Implementation of an ordered set based on boost::unordered_map
OrdinaryASPProgramThis is kind of a program context for pure (=non-HEX) ASPs
OrdinaryASPSolverAbstract base class to capture ASP solvers
OrdinaryAtomStores ordinary atoms of kind p(a1, ..., an)
OrdinaryAtomTableImplements a lookup table for ordinary atoms
ostream_printable< T >With this class, you can make your own classes ostream-printable
ParserState
ParseStateSee State::showPlugins
PlainAuxPrinterPrints auxiliary atoms in a generic fashion of kind aux_XXX(...)
PlainModelGeneratorA model generator for components without inner (i.e
PlainModelGeneratorFactoryFactory for the PlainModelGenerator
PluginAtomInterface class for external Atoms
PluginContainerCollects and administrates all available plugins
PluginConverterConverter class (input stream rewriter)
PluginDataBase class for plugin-specific storage in ProgramCtx
PluginEnvironmentBase class for plugin-specific storage in ProgramCtx
PluginErrorA plugin error is thrown by plugins and caught inside dlvhex
PluginInterfaceFactory where plugins interact with the dlvhex core
PluginOptimizerOptimizer 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
PluginRewriterRewriter class
PostProcessStateSee State::showPlugins
PredicatePredicate structure, used in PredicateTable.h
PredicateMaskAllows for efficient retrieval of all atoms over a given predicate
PredicateMatchesGeneral purpose predicate functor, which returns true iff predicate of g matches pred
impl::PredicateNameTag
PredicateTableLookup table for predicates
impl::PredicateTag
PreparedResultsResults that are not streamed but provided to be incrementally requested
print_containerPrintable object base class
print_method_containerPrintable object base class
print_stream_container< T >Printable object base class
PrinterPrints dlvhex IDs in differnt formats depending on the implementation in a subclass
ProcessBase class for solver processes
ProcessBufA std::streambuf interface for creating child processes and writing/reading data via stdin/stdout
TestPlugin::ProductionRequirementsAtom
AnnotatedGroundProgram::ProgramComponentStores a strongly connected component of the ground program according to its atom dependencies
ProgramCtxProgram context class
ProgramExt1ProgramCtxFixture
ProgramMCSMedDProgramCtxFixture
ProgramMCSMedEQProgramCtxFixture
PropagatorCallbackBase class for propagator callbacks
bm::ptr_allocatorDefault malloc based bitblock allocator class
bm::ptr_guard< T >Mini auto-pointer for internal memory management
Term::PtrRef
PluginAtom::QueryQuery class which provides the input of an external atom call
QueryParserModuleSemantics::queryBody
QueryParserModuleSemantics
QueryPluginImplements 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 > >
RawPrinterPrints IDs in human-readable format
Term::Ref
bm::bvector< Alloc >::referenceClass reference implements an object for bit assignment
RegistryRegistry for entities used in programs as IDs (collection of symbol tables)
CAUAlgorithms::RelevanceMarkingVisitor< Graph >
ASPSolverManager::ResultsRepresents a set of answer sets, which is possibly lazily generated
RewriteEDBIDBStateSee State::showPlugins
RingTopology
bm::tmatrix< T, ROWS, COLS >::rstatRow characteristics for transposed matrix
RuleStores a rule of a HEX-program
HexGrammarBase< Iterator, Skipper >::Rule< Attrib, Dummy >Helper struct for creating rule types
HexGrammarBase< Iterator, Skipper >::Rule< void, Dummy >
RuleTableLookup table for rules
SafetyCheckerOrdinary safety checker class
SafetyCheckerBaseAbstract base class for the SaftyCheckers
SafetyCheckStateSee State::showPlugins
SATSolverBase 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
SetupProgramCtxStateSee State::showPlugins
ShowPluginsStateSee State::showPlugins
SimpleEvaluator
CDNLSolver::SimpleHashIDAllows for hashing ID
CDNLSolver::SimpleHashIDAddressAllows for hashing IDAddress
SimpleNogoodContainerA NogoodContainer based on NogoodSet
ASPSolverManager::SoftwareBaseGeneric solver software to be implemented for each solver type
ASPSolverManager::SoftwareConfiguration< SoftwareT >Generic concrete software configuration, parameterized by a concrete software
ASPSolverManager::SoftwareConfigurationBaseInterface to a software configuration for solving
SortElement< T >Implements a pair of an index and an element
bm::sse_empty_guardSSE2 reinitialization guard class
StarTopology
benchmark::simple::BenchmarkController::StatInformation about a single benchmark value
benchmark::nestingAware::NestingAwareController::StatInformation about a single benchmark value
StateState base class
bm::bvector< Alloc >::statisticsStatistical information about bitset's memory allocation details
StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom
StrongNegationParserModuleSemantics
StrongNegationPluginImplements strong negation by rewriting it to dedicated auxiliary predicates
StrongSafetyCheckerStrong safety checker class
StrongSafetyCheckStateSee State::showPlugins
ProgramCtx::SubprogramAnswerSetCallbackClass for subprogram handling
TestPlugin::SumNonZeroAtom
SyntaxErrorError caused by malformed input program
Table< ValueT, IndexT >Implements a lookup table for custom key and value types
TermStores terms
TermTableLookup 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
UnfoundedSetCheckerUnfounded set checker for HEX programs (with external atoms)
UnfoundedSetCheckerManagerCreates independent unfounded set checkers for all components of a program and automatically calls them appropriately
UnfoundedSetCheckHeuristicsDecides when to do an unfounded set check (over partial interpretations)
UnfoundedSetCheckHeuristicsFactoryFactory for UnfoundedSetCheckHeuristics
UnfoundedSetCheckHeuristicsMaxPerforms UFS checks whenever deterministic reasoning cannot derive further atoms
UnfoundedSetCheckHeuristicsMaxFactoryFactory for UnfoundedSetCheckHeuristicsMax
UnfoundedSetCheckHeuristicsPeriodicPerforms UFS checks periodically
UnfoundedSetCheckHeuristicsPeriodicFactoryFactory for UnfoundedSetCheckHeuristicsPeriodic
UnfoundedSetCheckHeuristicsPostContains implementers of UnfoundedSetCheckHeuristics to decide for a given (partial) assignment if a minimality check shall be performed at this point
UnfoundedSetCheckHeuristicsPostFactoryFactory for UnfoundedSetCheckHeuristicsPost
UnfoundedSetChecker::UnfoundedSetVerificationStatusDefines data structures used for verification of UFS candidates
EvalGraphBuilder::UnusedEdgeFilterEdges of component graph that still need to be put into eval units
EvalGraphBuilder::UnusedVertexFilterFor subgraph of component graph that still needs to be put into eval units
UsageError
Term::VecRef
BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCBCallback for checking whether external computations reflect guesses of external atom truth values
BaseModelGenerator::VerifyExternalAtomCBVerifies positive and negative replacement atoms against an external atom
WeakConstraintPluginImplements weak plugins by rewriting them to ordinary rules
WellfoundedModelGenerator
WellfoundedModelGeneratorFactoryFactory for the WellfoundedModelGenerator