dlvhex  2.5.0
Data Structure Index
A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | Q | R | S | T | U | V | W | _
  A  
ChoicePlugin::CtxData   GenuinePlainModelGeneratorFactory   ParseState   SimpleNogoodContainer   
ManualEvalHeuristicsPlugin::CtxData   GenuineSolver   PlainAuxPrinter   ASPSolverManager::SoftwareBase   
AbovePluginAtom   HigherOrderPlugin::CtxData   GenuineWellfoundedModelGenerator   PlainModelGenerator   ASPSolverManager::SoftwareConfiguration   
AddressTag (impl)   NestingAwareController::Current (benchmark::nestingAware)   GenuineWellfoundedModelGeneratorFactory   PlainModelGeneratorFactory   ASPSolverManager::SoftwareConfigurationBase   
AggregateAndBuildinChecker (DLVHEX_NAMESPACE_BEGIN)   
  D  
GetArityAtom   PluginAtom   SortElement   
AggregateAtom   globals (bm)   PluginContainer   sse_empty_guard (bm)   
AggregateAtomTable   d_copy_func (bm)   GuessAndCheckModelGenerator   PluginConverter   StarTopology   
AggregatePlugin   DeBruijn_bit_position (bm)   GuessAndCheckModelGeneratorFactory   PluginData   NestingAwareController::Stat (benchmark::nestingAware)   
all_set (bm)   decoder (bm)   
  H  
PluginEnvironment   BenchmarkController::Stat (benchmark::simple)   
all_set::all_set_block (bm)   decoder_base (bm)   PluginError   State   
AncestryMarkingVisitor (CAUAlgorithms)   decoder_little_endian (bm)   handle_dbg   PluginInterface   bvector::statistics (bm)   
AnnotatedGroundProgram   decoder_range_adapter (bm)   handle_fact   PluginOptimizer   StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom   
PluginAtom::Answer   ExternalLearningHelper::DefaultInputNogoodProvider   handle_finished_answerset   PluginPtrDeleter   StrongNegationParserModuleSemantics   
AnswerSet   DLVSoftware::Delegate (ASPSolver)   handle_ident   PluginPtrNOPDeleter   StrongNegationPlugin   
AnswerSetPrinterCallback   ASPSolverManager::DelegateInterface   handle_int   PluginRewriter   StrongSafetyChecker   
AnswerSetQueueElement   DependencyGraph   DependencyGraph::HeadBodyHelper   PostProcessState   StrongSafetyCheckState   
ASMOrdinaryASPSolver (DLVHEX_NAMESPACE_BEGIN)   DependencyGraph::DependencyInfo   DependencyGraph::HeadBodyInfo   Predicate   ProgramCtx::SubprogramAnswerSetCallback   
ASPSolverManager   ComponentGraph::DependencyInfo   DependencyGraph::HeadPredicateTag   PredicateMask   TestPlugin::SumNonZeroAtom   
AssumptionBasedUnfoundedSetChecker   deseriaizer_base (bm)   HexGrammar   PredicateMatches   SyntaxError   
Atom   deserializer (bm)   HexGrammarBase   PredicateNameTag (impl)   
  T  
AtomMatches   DFSVisitor (internalgreedy)   HexGrammarSemantics   PredicateTable   
LiberalSafetyChecker::Attribute   DFSVisitor (internal)   HexParser   PredicateTag (impl)   Table   
AuxiliaryKey (DLVHEX_NAMESPACE_BEGIN)   bvector::iterator_base::dgap_descr (bm)   HexParserModule   PreparedResults   Term   
AuxiliaryValue (DLVHEX_NAMESPACE_BEGIN)   DiamondTopology   HexParserSkipperGrammar   print_container   TermTable   
AuxPrinter   distance_metric_descriptor (bm)   HigherOrderParserModuleSemantics::higherOrderAtom   print_method_container   TermTag (impl)   
  B  
DLVProcess   HigherOrderParserModuleSemantics   print_stream_container   TestAAtom   
DLVResultGrammar   HigherOrderPlugin   Printer   TestAppendAtom   
BaseModelGenerator   DLVResultParser   
  I  
Process   TestASPQueryAtom   
BaseModelGeneratorFactory   DLVSoftware (ASPSolver)   ProcessBuf   TestBAtom   
BaseTopology   DumpingEvalGraphBuilder   ID   TestPlugin::ProductionRequirementsAtom   TestBraveQueryAtom   
BenchmarkController (benchmark::simple)   DynamicVector   EvalGraphBuilder::identity   AnnotatedGroundProgram::ProgramComponent   TestCAtom   
BenignCycleChecker (DLVHEX_NAMESPACE_BEGIN)   
  E  
DependencyGraph::IDTag   ProgramCtx   TestCautiousQueryAtom   
bit_AND (bm)   ImmediateNogoodGrounder   ProgramExt1ProgramCtxFixture   TestConcatAllAtom   
bit_ASSIGN (bm)   TestSetMinusAtom::EAHeuristics   InputProvider::Impl   ProgramMCSMedDProgramCtxFixture   TestConcatAtom   
bit_block_guard (bm)   TestSetMinusAtom::EAHeuristicsFactory   EvalGraph::Impl   ProgramMCSMedEQProgramCtxFixture   TestCycleAtom   
bit_COUNT (bm)   EAInputTupleCache   Registry::Impl   PropagatorCallback   TestDisjAtom   
bit_COUNT_A (bm)   ElementTag (impl)   DependencyGraph::InBodyTag   ptr_allocator (bm)   TestDLSimulatorAtom   
bit_COUNT_AND (bm)   encoder (bm)   DependencyGraph::InHeadTag   ptr_guard (bm)   TestEqualAtom   
bit_COUNT_B (bm)   EncodingBasedUnfoundedSetChecker   Logger::Init   Term::PtrRef   TestEvalUnitPropertyBase   
bit_COUNT_OR (bm)   bvector::enumerator (bm)   ExternalLearningHelper::InputNogoodProvider   
  Q  
TestEvenAtom   
bit_COUNT_SUB_AB (bm)   EvalGraph   InputProvider   TestFinalCallback   
bit_COUNT_SUB_BA (bm)   EvalGraphBuilder   bvector::insert_iterator (bm)   PluginAtom::Query   TestFirstAtom   
bit_count_table (bm)   EvalGraphE1Fixture   insert_set_iterator   QueryParserModuleSemantics::queryBody   TestPlugin::TestGen2Atom   
bit_COUNT_XOR (bm)   EvalGraphE2Fixture   InstTag (impl)   QueryParserModuleSemantics   TestHashAtom   
bit_grabber (bm)   EvalGraphE2MirroredFixture   BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB   QueryPlugin   TestIdAtom   
bit_grabber< unsigned char, 8 > (bm)   EvalGraphEx1Fixture   InternalGroundASPSolver   
  R  
TestIdcAtom   
bit_grabber< unsigned short, 16 > (bm)   OnlineModelBuilder::EvalGraphObserver   InternalGroundDASPSolver   TestIdpAtom   
bit_grabber< unsigned, 32 > (bm)   EvalHeuristicASP   InternalGrounder   random_subset (bm)   TestInterpretation   
bit_in (bm)   EvalHeuristicBase   Interpretation   RandomTopology   TestPlugin::TestIsEmpty   
bit_OR (bm)   EvalHeuristicEasy   InterpretationBase   range_const_iterator< Set< T > > (boost)   TestLessThanAtom   
bit_out (bm)   EvalHeuristicFromFile   IsFunctionTermAtom   range_mutable_iterator< Set< T > > (boost)   TestListConcatAtom   
bit_SUB (bm)   EvalHeuristicFromHEXSourcecode (DLVHEX_NAMESPACE_BEGIN)   bvector::iterator_base (bm)   RawPrinter   TestListDomainAtom   
bit_trans_grabber (bm)   EvalHeuristicGreedy   iterator_deserializer (bm)   Term::Ref   TestListLengthAtom   
bit_XOR (bm)   EvalHeuristicMonolithic   
  K  
bvector::reference (bm)   TestListMergeAtom   
bvector::iterator_base::bitblock_descr (bm)   EvalHeuristicOldDlvhex   Registry   TestListSplitAtom   
bitblock_get_adapter (bm)   EvalHeuristicTrivial   KindTag (impl)   RelevanceMarkingVisitor (CAUAlgorithms)   TestListSplitHalfAtom   
bitblock_store_adapter (bm)   EvaluateState   
  L  
ASPSolverManager::Results   TestMinusOneAtom   
bitblock_sum_adapter (bm)   ManualEvalHeuristicsParserModuleSemantics::evalUnit   RewriteEDBIDBState   TestModelGeneratorFactory   
block_allocator (bm)   EvalGraph::EvalUnitDepPropertyBundle   LazyNogoodGrounder   RingTopology   TestModelPropertyBase   
blocks_manager::block_any_func (bm)   OnlineModelBuilder::EvalUnitModelBuildingProperties   LiberalSafetyChecker   tmatrix::rstat (bm)   TestMoveAtom   
blocks_manager::block_copy_func (bm)   EvalUnitModelGeneratorFactoryProperties   LiberalSafetyPlugin   HexGrammarBase::Rule   TestNegAtom   
blocks_manager::block_count_arr_func (bm)   ModelGraph::EvalUnitModels   LiberalSafetyPluginFactory   Rule   TestNonmon2Atom   
blocks_manager::block_count_base (bm)   EvalUnitProjectionProperties   LineTopology   HexGrammarBase::Rule< void, Dummy >   TestNonmonAtom   
blocks_manager::block_count_change_func (bm)   EvalGraph::EvalUnitPropertyBundle   PluginContainer::LoadedPlugin   RuleTable   TestPlugin::TestNumberOfBalls   
blocks_manager::block_count_func (bm)   BaseModelGenerator::ExternalAnswerTupleCallback   Logger   
  S  
TestPlugin::TestNumberOfBallsGE   
bvector::iterator_base::block_descr (bm)   BaseModelGenerator::ExternalAnswerTupleMultiCallback   
  M  
TestPlugin::TestNumberOfBallsSE   
blocks_manager::block_free_func (bm)   ExternalAtom   SafetyChecker   TestOddAtom   
blocks_manager::block_invert_func (bm)   ExternalAtomEvaluationHeuristics   ManualEvalHeuristicsParserModuleSemantics   SafetyCheckerBase   TestPlugin   
blocks_manager::block_one_func (bm)   ExternalAtomEvaluationHeuristicsAlways   ManualEvalHeuristicsPlugin   SafetyCheckState   TestPluginAspCtxAcc   
blocks_manager::block_opt_func (bm)   ExternalAtomEvaluationHeuristicsAlwaysFactory   mem_alloc (bm)   SATSolver   TestPluginAtomCount   
block_set_table (bm)   ExternalAtomEvaluationHeuristicsEAComplete   miniset (bm)   sem   TestPluginAtomReach   
blocks_manager::block_zero_func (bm)   ExternalAtomEvaluationHeuristicsEACompleteFactory   MLPSolverState   sem< ChoiceParserModuleSemantics::choiceElement >   TestProgramCtx   
blocks_manager (bm)   ExternalAtomEvaluationHeuristicsFactory   MLPSyntaxChecker   sem< ChoiceParserModuleSemantics::choiceHead >   TestPushAtom   
blocks_manager::bm_func_base (bm)   ExternalAtomEvaluationHeuristicsInputComplete   ModelBuilder   sem< ChoiceParserModuleSemantics::choiceRule >   TestReachableAtom   
blocks_manager::bm_func_base_const (bm)   ExternalAtomEvaluationHeuristicsInputCompleteFactory   ModelBuilderConfig   sem< ConditionalParserModuleSemantics::conditionalLieral >   TestSetMinusAtom   
globals::bo (bm)   ExternalAtomEvaluationHeuristicsNever   ModelCallback   sem< FunctionParserModuleAtomSemantics::functionTermEval >   TestSetMinusNogoodBasedLearningAtom   
BuildCommand (evalheur)   ExternalAtomEvaluationHeuristicsNeverFactory   ModelGraph::ModelDepPropertyBundle   sem< FunctionParserModuleTermSemantics::functionTermConstruct >   TestSetMinusNonComfortAtom   
BuiltinAtom   ExternalAtomEvaluationHeuristicsPeriodic   TestModelGeneratorFactory::ModelGenerator   sem< HexGrammarSemantics::add >   TestSetMinusNongroundNogoodBasedLearningAtom   
BuiltinAtomTable   ExternalAtomEvaluationHeuristicsPeriodicFactory   ModelGeneratorBase   sem< HexGrammarSemantics::addMLPModuleHeader >   TestSetMinusPartialAtom   
bv_statistics (bm)   ExternalAtomMask   ModelGeneratorFactoryBase   sem< HexGrammarSemantics::addMLPModuleName >   TestSetMinusRuleBasedLearningAtom   
bvector (bm)   ExternalAtomTable   ModelGraph   sem< HexGrammarSemantics::aggregateAtom >   TestPlugin::TestSetUnionAtom   
bvector_mini (bm)   ExternalAtomVerificationTree   ModelGraphE2M2Fixture   sem< HexGrammarSemantics::bodyLiteral >   TestSmallerThanAtom   
bvmini (bm)   ExternalLearningHelper   ModelBuilder::ModelProperties   sem< HexGrammarSemantics::builtinBinaryInfix >   TestStrlenAtom   
  C  
ExternalSolverHelper (DLVHEX_NAMESPACE_BEGIN)   ModelGraph::ModelPropertyBundle   sem< HexGrammarSemantics::builtinBinaryPrefix >   TestSubstrAtom   
ExternalSolverHelper< GenuineSolver > (DLVHEX_NAMESPACE_BEGIN)   Module   sem< HexGrammarSemantics::builtinTernaryInfix >   TestTransitiveClosureAtom   
CDNLSolver   ExtSourceProperties   ModuleAtom   sem< HexGrammarSemantics::builtinTernaryPrefix >   TestTrueMultiInpAtom   
CheckLiberalSafetyState   
  F  
ModuleAtomTable   sem< HexGrammarSemantics::builtinUnaryPrefix >   TestTrueMultiInpAtom2   
ChoiceParserModuleSemantics::choiceElement   ModuleHexParser   sem< HexGrammarSemantics::classicalAtomFromPrefix >   TestZeroArityAtom   
ChoiceParserModuleSemantics::choiceHead   FatalError   ModuleNameTag (impl)   sem< HexGrammarSemantics::classicalAtomFromTuple >   TextTag (impl)   
ChoiceParserModuleSemantics   FinalCallback   ModuleSyntaxCheckState   sem< HexGrammarSemantics::constraint >   tmatrix (bm)   
ChoicePlugin   FinalEvalUnitPropertyBase   ModuleTable   sem< HexGrammarSemantics::externalAtom >   TreeTopology   
ChoiceParserModuleSemantics::choiceRule   FiniteFiberChecker (DLVHEX_NAMESPACE_BEGIN)   
  N  
sem< HexGrammarSemantics::extSourceProperty >   TupleTag (impl)   
Logger::Closure   FinitenessChecker (DLVHEX_NAMESPACE_BEGIN)   sem< HexGrammarSemantics::ignoreAndWarnIfNotFail >   
  U  
ComfortAtom   first_bit_table (bm)   NestingAwareController (benchmark::nestingAware)   sem< HexGrammarSemantics::maxint >   
ComfortInterpretation   FLPModelGeneratorBase   ExternalAtomVerificationTree::Node   sem< HexGrammarSemantics::mlpModuleAtom >   UnfoundedSetChecker   
ComfortLiteral   FLPModelGeneratorFactoryBase   DependencyGraph::NodeInfo   sem< HexGrammarSemantics::predFromNameOnly >   UnfoundedSetCheckerManager   
ComfortPluginAtom   FunctionComposeAtom   LiberalSafetyChecker::NodeInfoTag   sem< HexGrammarSemantics::predFromPredDecl >   UnfoundedSetCheckHeuristics   
ComfortPluginAtom::ComfortQuery   FunctionDecomposeAtom   DependencyGraph::NodeMappingInfo   sem< HexGrammarSemantics::predFromString >   UnfoundedSetCheckHeuristicsFactory   
ComfortTerm   FunctionDecomposeGeneralAtom   LiberalSafetyChecker::NodeMappingInfo   sem< HexGrammarSemantics::rule >   UnfoundedSetCheckHeuristicsMax   
ComponentGraph   FunctionInterprete   Nogood   sem< HexGrammarSemantics::ruleVariableDisjunction >   UnfoundedSetCheckHeuristicsMaxFactory   
ComponentGraph::ComponentInfo   FunctionParserModuleAtomSemantics   NogoodContainer   sem< HexGrammarSemantics::termFromCIdent >   UnfoundedSetCheckHeuristicsPeriodic   
ConcurrentMessageQueueOwning (dlvhex)   FunctionParserModuleTermSemantics   NogoodGrounder   sem< HexGrammarSemantics::termFromFunctionTerm >   UnfoundedSetCheckHeuristicsPeriodicFactory   
ConcurrentQueueResults   FunctionPlugin   NogoodSet   sem< HexGrammarSemantics::termFromInteger >   UnfoundedSetCheckHeuristicsPost   
ConditionalParserModuleSemantics::conditionalLieral   FunctionRewriter   none_t   sem< HexGrammarSemantics::termFromRange >   UnfoundedSetCheckHeuristicsPostFactory   
ConditionalLiteralPlugin   FunctionParserModuleTermSemantics::functionTermConstruct   
  O  
sem< HexGrammarSemantics::termFromString >   UnfoundedSetChecker::UnfoundedSetVerificationStatus   
ConditionalParserModuleSemantics   FunctionParserModuleAtomSemantics::functionTermEval   sem< HexGrammarSemantics::termFromVariable >   EvalGraphBuilder::UnusedEdgeFilter   
Config   
  G  
EvalGraph::Observer   sem< HexGrammarSemantics::termId >   EvalGraphBuilder::UnusedVertexFilter   
Configuration   OfflineModelBuilder   sem< HexGrammarSemantics::weakconstraint >   UsageError   
const_set_iterator   gamma_decoder (bm)   OfflineModelBuilderTFixture   sem< HexGrammarSemantics::weakconstraintaspcore2 >   
  V  
ConvertState   gamma_encoder (bm)   OfflineModelBuilder::OfflineModelBuildingProperties   sem< HigherOrderParserModuleSemantics::higherOrderAtom >   
copy_to_array_functor (bm)   gap_len_table (bm)   OnlineModelBuilder   sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >   Term::VecRef   
copy_to_array_functor_inc (bm)   gap_len_table_min (bm)   OnlineModelBuilderTFixture   sem< QueryParserModuleSemantics::queryBody >   BaseModelGenerator::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB   
bvector::counted_enumerator (bm)   blocks_manager::gap_level_func (bm)   operation_deserializer (bm)   sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >   BaseModelGenerator::VerifyExternalAtomCB   
CounterVerification   gap_transpose_engine (bm)   operation_functions (bm)   SemanticActionBase   
  W  
CreateComponentGraphState   GeneralError   OptimizeEDBDependencyGraphState   SenseNotArmed1PluginAtom   
CreateDependencyGraphState   GenericDepGraphCompGraphFixture   option   SenseNotArmed2PluginAtom   WeakConstraintPlugin   
CreateEvalGraphState   GenericDepGraphFixture   DLVSoftware::Options (ASPSolver)   serial_stream_iterator (bm)   WellfoundedModelGenerator   
CSVAnswerSetPrinterCallback   ASPSolverManager::GenericOptions   OrderedSet   serializer (bm)   WellfoundedModelGeneratorFactory   
FunctionPlugin::CtxData   GenPluginAtom1   OrdinaryASPProgram   Set   
  _  
AggregatePlugin::CtxData   GenPluginAtom2   OrdinaryASPSolver   set_iterator   
WeakConstraintPlugin::CtxData   GenuineGrounder   OrdinaryAtom   SetupProgramCtxState   _copyright (bm)   
StrongNegationPlugin::CtxData   GenuineGroundSolver   OrdinaryAtomTable   ShowPluginsState   
QueryPlugin::CtxData   GenuineGuessAndCheckModelGenerator   ostream_printable   SimpleEvaluator   
ConditionalLiteralPlugin::CtxData   GenuineGuessAndCheckModelGeneratorFactory   
  P  
CDNLSolver::SimpleHashID   
TestPlugin::CtxData   GenuinePlainModelGenerator   CDNLSolver::SimpleHashIDAddress   
ParserState   
A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | Q | R | S | T | U | V | W | _