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	EvalGraph	EvalGraphBuilder::identity	PluginContainer	SenseNotArmed1PluginAtom
	EvalGraphBuilder	DependencyGraphFull::IDTag	PluginConverter	SenseNotArmed2PluginAtom
AbovePluginAtom	EvalGraphE1Fixture	DependencyGraph::IDTag	PluginData	Set
AddressTag (impl)	EvalGraphE2Fixture	ImmediateNogoodGrounder	PluginEnvironment	set_iterator
AggregateAtom	EvalGraphE2MirroredFixture	Registry::Impl	PluginError	SetupProgramCtxState
AggregateAtomTable	EvalGraphEx1Fixture	InputProvider::Impl	PluginInterface	ShowPluginsState
AggregatePlugin	OnlineModelBuilder::EvalGraphObserver	EvalGraph::Impl	PluginOptimizer	SimpleEvaluator
AncestryMarkingVisitor (CAUAlgorithms)	EvalHeuristicASP	DependencyGraph::InBodyTag	PluginPtrDeleter	CDNLSolver::SimpleHashID
AnnotatedGroundProgram	EvalHeuristicBase	DependencyGraph::InHeadTag	PluginPtrNOPDeleter	CDNLSolver::SimpleHashIDAddress
PluginAtom::Answer	EvalHeuristicEasy	Logger::Init	PluginRewriter	SimpleNogoodContainer
AnswerSet	EvalHeuristicFromFile	ExternalLearningHelper::InputNogoodProvider	PostProcessState	ASPSolverManager::SoftwareBase
AnswerSetPrinterCallback	EvalHeuristicGreedy	InputProvider	Predicate	ASPSolverManager::SoftwareConfiguration
AnswerSetQueueElement	EvalHeuristicOldDlvhex	insert_set_iterator	PredicateMask	ASPSolverManager::SoftwareConfigurationBase
ASMOrdinaryASPSolver (DLVHEX_NAMESPACE_BEGIN)	EvalHeuristicTrivial	InstTag (impl)	PredicateMatches	SortElement
ASPSolverManager	EvaluateState	BaseModelGenerator::IntegrateExternalAnswerIntoInterpretationCB	PredicateNameTag (impl)	StarTopology
AssumptionBasedUnfoundedSetChecker	EvalGraph::EvalUnitDepPropertyBundle	InternalGroundASPSolver	PredicateTable	BenchmarkController::Stat (benchmark)
AsynchronousModelGenerator	OnlineModelBuilder::EvalUnitModelBuildingProperties	InternalGroundDASPSolver	PredicateTag (impl)	State
Atom	EvalUnitModelGeneratorFactoryProperties	InternalGrounder	PreparedResults	StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom
AtomMatches	ModelGraph::EvalUnitModels	Interpretation	print_container	StrongNegationParserModuleSemantics
AuxiliaryKey (DLVHEX_NAMESPACE_BEGIN)	EvalUnitProjectionProperties	InterpretationBase	print_method_container	StrongNegationPlugin
AuxiliaryValue (DLVHEX_NAMESPACE_BEGIN)	EvalGraph::EvalUnitPropertyBundle	K	print_stream_container	StrongSafetyChecker
AuxPrinter	BaseModelGenerator::ExternalAnswerTupleCallback		Printer	StrongSafetyCheckState
B	ExternalAtom	KindTag (impl)	Process	ProgramCtx::SubprogramAnswerSetCallback
	ExternalAtomEvaluationHeuristics	L	ProcessBuf	SyntaxError
BaseModelGenerator	ExternalAtomEvaluationHeuristicsAlways		AnnotatedGroundProgram::ProgramComponent	T
BaseModelGeneratorFactory	ExternalAtomEvaluationHeuristicsAlwaysFactory	LazyNogoodGrounder	ProgramCtx
BaseTopology	ExternalAtomEvaluationHeuristicsFactory	LineTopology	ProgramExt1ProgramCtxFixture	Table
BenchmarkController (benchmark)	ExternalAtomEvaluationHeuristicsInputComplete	PluginContainer::LoadedPlugin	ProgramMCSMedDProgramCtxFixture	Term
BuildCommand (evalheur)	ExternalAtomEvaluationHeuristicsInputCompleteFactory	Logger	ProgramMCSMedEQProgramCtxFixture	TermTable
BuiltinAtom	ExternalAtomEvaluationHeuristicsNever	M	PropagatorCallback	TermTag (impl)
BuiltinAtomTable	ExternalAtomEvaluationHeuristicsNeverFactory		Q	TestAAtom
C	ExternalAtomMask	MLPSolver		TestAppendAtom
	ExternalAtomTable	MLPSolverState	PluginAtom::Query	TestBAtom
CDNLSolver	ExternalLearningHelper	MLPSyntaxChecker	QueryParserModuleSemantics::queryBody	TestCAtom
ClingoSoftware (ASPSolver)	ExternalSolverHelper (DLVHEX_NAMESPACE_BEGIN)	ModelBuilder	QueryParserModuleSemantics	TestConcatAtom
Logger::Closure	ExternalSolverHelper< GenuineSolver > (DLVHEX_NAMESPACE_BEGIN)	ModelCallback	QueryPlugin	TestCycleAtom
ComfortAtom	ExtSourceProperties	ModelGraph::ModelDepPropertyBundle	R	TestDisjAtom
ComfortInterpretation	ExtSourceProperty	TestModelGeneratorFactory::ModelGenerator		TestEqualAtom
ComfortLiteral	F	ModelGeneratorBase	RandomTopology	TestEvalUnitPropertyBase
ComfortPluginAtom		ModelGeneratorFactoryBase	range_const_iterator< Set< T > > (boost)	TestEvenAtom
ComfortPluginAtom::ComfortQuery	FatalError	ModelGraph	range_mutable_iterator< Set< T > > (boost)	TestFinalCallback
ComfortTerm	FinalCallback	ModelGraphE2M2Fixture	RawPrinter	TestIdAtom
ComponentGraph	FinalEvalUnitPropertyBase	ModelBuilder::ModelProperties	Registry	TestInterpretation
ComponentGraph::ComponentInfo	FLPModelGeneratorBase	ModelGraph::ModelPropertyBundle	RelevanceMarkingVisitor (CAUAlgorithms)	TestLessThanAtom
ConcurrentMessageQueueOwning (dlvhex)	FLPModelGeneratorFactoryBase	Module	ASPSolverManager::Results	TestMinusOneAtom
ConcurrentQueueResults	G	ModuleAtom	RewriteEDBIDBState	TestModelGeneratorFactory
Config		ModuleAtomTable	RingTopology	TestModelPropertyBase
Configuration	GeneralError	ModuleHexParser	HexGrammarBase::Rule	TestNegAtom
const_set_iterator	GenericDepGraphCompGraphFixture	MLPSolver::ModuleInst	Rule	TestNonmon2Atom
ConvertState	GenericDepGraphFixture	ModuleNameTag (impl)	HexGrammarBase::Rule< void, Dummy >	TestNonmonAtom
CounterVerification	ASPSolverManager::GenericOptions	ModuleSyntaxCheckState	RuleTable	TestOddAtom
CreateComponentGraphState	GenPluginAtom1	ModuleTable	S	TestPlugin
CreateDependencyGraphState	GenPluginAtom2	N		TestPluginAspCtxAcc
CreateEvalGraphState	GenuineGrounder		SafetyChecker	TestPluginAtomCount
AggregatePlugin::CtxData	GenuineGroundSolver	DependencyGraphFull::NodeInfo	SafetyCheckerBase	TestPluginAtomReach
WeakConstraintPlugin::CtxData	GenuineGuessAndCheckModelGenerator	DependencyGraph::NodeInfo	SafetyCheckState	TestProgramCtx
StrongNegationPlugin::CtxData	GenuineGuessAndCheckModelGeneratorAsync	DependencyGraphFull::NodeMappingInfo	SATSolver	TestSetMinusAtom
QueryPlugin::CtxData	GenuineGuessAndCheckModelGeneratorAsyncFactory	DependencyGraph::NodeMappingInfo	sem	TestSetMinusNogoodBasedLearningAtom
HigherOrderPlugin::CtxData	GenuineGuessAndCheckModelGeneratorFactory	Nogood	sem< HexGrammarSemantics::add >	TestSetMinusRuleBasedLearningAtom
TestPlugin::CtxData	GenuinePlainModelGenerator	NogoodContainer	sem< HexGrammarSemantics::addMLPModuleHeader >	TestTransitiveClosureAtom
D	GenuinePlainModelGeneratorFactory	NogoodGrounder	sem< HexGrammarSemantics::addMLPModuleName >	TestZeroArityAtom
	GenuineSolver	NogoodSet	sem< HexGrammarSemantics::aggregateAtom >	TextTag (impl)
ExternalLearningHelper::DefaultInputNogoodProvider	GenuineWellfoundedModelGenerator	none_t	sem< HexGrammarSemantics::bodyLiteral >	TreeTopology
ClingoSoftware::Delegate (ASPSolver)	GenuineWellfoundedModelGeneratorFactory	O	sem< HexGrammarSemantics::builtinBinaryInfix >	TupleTag (impl)
DLVDBSoftware::Delegate (ASPSolver)	GuessAndCheckModelGenerator		sem< HexGrammarSemantics::builtinBinaryPrefix >	U
DLVLibSoftware::Delegate (ASPSolver)	GuessAndCheckModelGeneratorFactory	EvalGraph::Observer	sem< HexGrammarSemantics::builtinTernaryInfix >
DLVSoftware::Delegate (ASPSolver)	H	OfflineModelBuilder	sem< HexGrammarSemantics::builtinTernaryPrefix >	UnfoundedSetChecker
ASPSolverManager::DelegateInterface		OfflineModelBuilderTFixture	sem< HexGrammarSemantics::builtinUnaryPrefix >	UnfoundedSetCheckerManager
DependencyGraph	handle_dbg	OfflineModelBuilder::OfflineModelBuildingProperties	sem< HexGrammarSemantics::classicalAtomFromPrefix >	UnfoundedSetCheckHeuristics
DependencyGraphFull	handle_fact	OnlineModelBuilder	sem< HexGrammarSemantics::classicalAtomFromTuple >	UnfoundedSetCheckHeuristicsFactory
EvalGraphBuilder::DependencyInfo	handle_finished_answerset	OnlineModelBuilderTFixture	sem< HexGrammarSemantics::constraint >	UnfoundedSetCheckHeuristicsMax
DependencyGraphFull::DependencyInfo	handle_ident	OptimizeEDBDependencyGraphState	sem< HexGrammarSemantics::externalAtom >	UnfoundedSetCheckHeuristicsMaxFactory
DependencyGraph::DependencyInfo	handle_int	ClingoSoftware::Options (ASPSolver)	sem< HexGrammarSemantics::extSourceProperty >	UnfoundedSetCheckHeuristicsPeriodic
ComponentGraph::DependencyInfo	DependencyGraph::HeadBodyHelper	DLVDBSoftware::Options (ASPSolver)	sem< HexGrammarSemantics::ignoreAndWarnIfNotFail >	UnfoundedSetCheckHeuristicsPeriodicFactory
DFSVisitor (internalgreedy)	DependencyGraph::HeadBodyInfo	DLVSoftware::Options (ASPSolver)	sem< HexGrammarSemantics::maxint >	UnfoundedSetCheckHeuristicsPost
DFSVisitor (internal)	DependencyGraph::HeadPredicateTag	OrderedSet	sem< HexGrammarSemantics::mlpModuleAtom >	UnfoundedSetCheckHeuristicsPostFactory
DiamondTopology	HeuristicsModelGeneratorInterface	OrdinaryASPProgram	sem< HexGrammarSemantics::predFromNameOnly >	EvalGraphBuilder::UnusedEdgeFilter
DLVDBSoftware (ASPSolver)	HexGrammar	OrdinaryASPSolver	sem< HexGrammarSemantics::predFromPredDecl >	EvalGraphBuilder::UnusedVertexFilter
DLVLibSoftware (ASPSolver)	HexGrammarBase	OrdinaryAtom	sem< HexGrammarSemantics::predFromString >	URLBuf
DLVProcess	HexGrammarSemantics	OrdinaryAtomTable	sem< HexGrammarSemantics::rule >	UsageError
DLVResultGrammar	HexParser	ostream_printable	sem< HexGrammarSemantics::termFromCIdent >	V
DLVResultParser	HexParserModule	P	sem< HexGrammarSemantics::termFromInteger >
DLVSoftware (ASPSolver)	HexParserSkipperGrammar		sem< HexGrammarSemantics::termFromString >	FLPModelGeneratorBase::VerifyExternalAnswerAgainstPosNegGuessInterpretationCB
DumpingEvalGraphBuilder	HigherOrderParserModuleSemantics::higherOrderAtom	ParserState	sem< HexGrammarSemantics::termFromVariable >	FLPModelGeneratorBase::VerifyExternalAtomCB
DynamicVector	HigherOrderParserModuleSemantics	ParseState	sem< HexGrammarSemantics::weakconstraint >	W
E	HigherOrderPlugin	PlainAuxPrinter	sem< HigherOrderParserModuleSemantics::higherOrderAtom >
	I	PlainModelGenerator	sem< QueryParserModuleSemantics::queryBody >	WeakConstraintPlugin
ElementTag (impl)		PlainModelGeneratorFactory	sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >	WellfoundedModelGenerator
EncodingBasedUnfoundedSetChecker	ID	PluginAtom	SemanticActionBase	WellfoundedModelGeneratorFactory

A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | Q | R | S | T | U | V | W