GenuineWellfoundedModelGenerator Class Reference

Model generator for purely monotonic components. More...

#include <include/dlvhex2/GenuineWellfoundedModelGenerator.h>

Inheritance diagram for GenuineWellfoundedModelGenerator:

Collaboration diagram for GenuineWellfoundedModelGenerator:

Public Types
typedef GenuineWellfoundedModelGeneratorFactory	Factory
Public Member Functions
	GenuineWellfoundedModelGenerator (Factory &factory, InterpretationConstPtr input)
	Constructor.
virtual	~GenuineWellfoundedModelGenerator ()
	Destructor.
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.
bool	firstcall
	True before first model was returned, false otherwise.

---

Detailed Description

Model generator for purely monotonic components.

Definition at line 51 of file GenuineWellfoundedModelGenerator.h.

---

Member Typedef Documentation

typedef GenuineWellfoundedModelGeneratorFactory GenuineWellfoundedModelGenerator::Factory

Definition at line 57 of file GenuineWellfoundedModelGenerator.h.

---

Constructor & Destructor Documentation

GenuineWellfoundedModelGenerator::GenuineWellfoundedModelGenerator	(	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 125 of file GenuineWellfoundedModelGenerator.cpp.

GenuineWellfoundedModelGenerator::~GenuineWellfoundedModelGenerator

(

)

[virtual]

Destructor.

Definition at line 134 of file GenuineWellfoundedModelGenerator.cpp.

---

Member Function Documentation

GenuineWellfoundedModelGenerator::InterpretationPtr GenuineWellfoundedModelGenerator::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 140 of file GenuineWellfoundedModelGenerator.cpp.

References GenuineWellfoundedModelGeneratorFactory::ci, BaseModelGenerator::computeExtensionOfDomainPredicates(), ProgramCtx::config, GenuineWellfoundedModelGeneratorFactory::ctx, ProgramCtx::currentOptimum, DBGLOG, GenuineWellfoundedModelGeneratorFactory::deidb, GenuineWellfoundedModelGeneratorFactory::deidbInnerEatoms, DLVHEX_BENCHMARK_COUNT, DLVHEX_BENCHMARK_REGISTER, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, ProgramCtx::edb, BaseModelGenerator::evaluateExternalAtoms(), factory, firstcall, GenuineSolver::getInstance(), Configuration::getOption(), GenuineWellfoundedModelGeneratorFactory::innerEatoms, ModelGeneratorBase< Interpretation >::input, LOG, ProgramCtx::maxint, GenuineWellfoundedModelGeneratorFactory::outerEatoms, ProgramCtx::registry(), WARNING(), and GenuineWellfoundedModelGeneratorFactory::xidb.

---

Field Documentation

ASPSolverManager::ResultsPtr GenuineWellfoundedModelGenerator::currentResults [protected]

Result handle for asp solver evaluation, using externallyAugmentedInput.

Definition at line 65 of file GenuineWellfoundedModelGenerator.h.

Factory& GenuineWellfoundedModelGenerator::factory [protected]

Reference to the factory which created this model generator.

Definition at line 62 of file GenuineWellfoundedModelGenerator.h.

Referenced by generateNextModel().

bool GenuineWellfoundedModelGenerator::firstcall [protected]

True before first model was returned, false otherwise.

Definition at line 67 of file GenuineWellfoundedModelGenerator.h.

Referenced by generateNextModel().

---

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

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