WellfoundedModelGenerator Class Reference

#include <include/dlvhex2/WellfoundedModelGenerator.h>

Inheritance diagram for WellfoundedModelGenerator:

Collaboration diagram for WellfoundedModelGenerator:

Public Types
typedef WellfoundedModelGeneratorFactory	Factory
Public Member Functions
	WellfoundedModelGenerator (Factory &factory, InterpretationConstPtr input)
	Constructor.
virtual	~WellfoundedModelGenerator ()
	Destuctor.
virtual InterpretationPtr	generateNextModel ()
	Generate and return next model, return NULL after last model.
Protected Attributes
Factory &	factory
	Reference to the factory which created this model generator.
ASPSolverManager::ResultsPtr	currentResults
	Result handle for asp solver evaluation, using externallyAugmentedInput.

---

Detailed Description

Definition at line 51 of file WellfoundedModelGenerator.h.

---

Member Typedef Documentation

typedef WellfoundedModelGeneratorFactory WellfoundedModelGenerator::Factory

Definition at line 57 of file WellfoundedModelGenerator.h.

---

Constructor & Destructor Documentation

WellfoundedModelGenerator::WellfoundedModelGenerator	(	Factory &	factory,
		InterpretationConstPtr	input
	)

Constructor.

Parameters:

factory	Reference to the factory which created this model generator.
input	Input interpretation to this model generator.

Definition at line 123 of file WellfoundedModelGenerator.cpp.

virtual WellfoundedModelGenerator::~WellfoundedModelGenerator

(

)

[inline, virtual]

Destuctor.

Definition at line 79 of file WellfoundedModelGenerator.h.

---

Member Function Documentation

WellfoundedModelGenerator::InterpretationPtr WellfoundedModelGenerator::generateNextModel

(

)

[virtual]

Generate and return next model, return NULL after last model.

Returns:

Next model if any and NULL after last model.

Implements ModelGeneratorBase< Interpretation >.

Definition at line 133 of file WellfoundedModelGenerator.cpp.

References PreparedResults::add(), WellfoundedModelGeneratorFactory::ctx, currentResults, DBGLOG, DLVHEX_BENCHMARK_COUNT, DLVHEX_BENCHMARK_REGISTER, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, ProgramCtx::edb, BaseModelGenerator::evaluateExternalAtoms(), WellfoundedModelGeneratorFactory::externalEvalConfig, factory, WellfoundedModelGeneratorFactory::innerEatoms, ModelGeneratorBase< Interpretation >::input, LOG, ProgramCtx::maxint, WellfoundedModelGeneratorFactory::outerEatoms, ProgramCtx::registry(), ASPSolverManager::solve(), WARNING(), and WellfoundedModelGeneratorFactory::xidb.

---

Field Documentation

ASPSolverManager::ResultsPtr WellfoundedModelGenerator::currentResults [protected]

Result handle for asp solver evaluation, using externallyAugmentedInput.

Definition at line 65 of file WellfoundedModelGenerator.h.

Referenced by generateNextModel().

Factory& WellfoundedModelGenerator::factory [protected]

Reference to the factory which created this model generator.

Definition at line 62 of file WellfoundedModelGenerator.h.

Referenced by generateNextModel().

---

The documentation for this class was generated from the following files:

• include/dlvhex2/WellfoundedModelGenerator.h
• src/WellfoundedModelGenerator.cpp