GenuinePlainModelGenerator Class Reference

A model generator for components without inner (i.e. More...

#include <include/dlvhex2/GenuinePlainModelGenerator.h>

Inheritance diagram for GenuinePlainModelGenerator:

Collaboration diagram for GenuinePlainModelGenerator:

Public Types
typedef GenuinePlainModelGeneratorFactory	Factory
Public Member Functions
	GenuinePlainModelGenerator (Factory &factory, InterpretationConstPtr input)
	Constructor.
virtual	~GenuinePlainModelGenerator ()
	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.
InterpretationConstPtr	postprocessedInput
	EDB + original (input) interpretation plus auxiliary atoms for evaluated external atoms.
ASPSolverManager::ResultsPtr	currentResults
	Result handle for asp solver evaluation, using externallyAugmentedInput.
GenuineSolverPtr	solver
	Solver instance.

---

Detailed Description

A model generator for components without inner (i.e.

non-cyclic) external atoms (outer external atoms are allowed).

Definition at line 61 of file GenuinePlainModelGenerator.h.

---

Member Typedef Documentation

typedef GenuinePlainModelGeneratorFactory GenuinePlainModelGenerator::Factory

Definition at line 67 of file GenuinePlainModelGenerator.h.

---

Constructor & Destructor Documentation

GenuinePlainModelGenerator::GenuinePlainModelGenerator	(	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 126 of file GenuinePlainModelGenerator.cpp.

References ID::atomFromLiteral(), Rule::body, GenuinePlainModelGeneratorFactory::ctx, DLVHEX_BENCHMARK_COUNT, DLVHEX_BENCHMARK_REGISTER, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, GenuinePlainModelGeneratorFactory::eatoms, ProgramCtx::edb, BaseModelGenerator::evaluateExternalAtoms(), GenuineGroundSolver::getInstance(), GenuineSolver::getInstance(), OrdinaryASPProgram::idb, ProgramCtx::maxint, ID::nafLiteralFromAtom(), postprocessedInput, ProgramCtx::registry(), solver, and GenuinePlainModelGeneratorFactory::xidb.

GenuinePlainModelGenerator::~GenuinePlainModelGenerator

(

)

[virtual]

Destructor.

Definition at line 255 of file GenuinePlainModelGenerator.cpp.

References DBGLOG, and solver.

---

Member Function Documentation

GenuinePlainModelGenerator::InterpretationPtr GenuinePlainModelGenerator::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 262 of file GenuinePlainModelGenerator.cpp.

References ProgramCtx::config, GenuinePlainModelGeneratorFactory::ctx, ProgramCtx::currentOptimum, DBGLOG, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, factory, Configuration::getOption(), ProgramCtx::registry(), and solver.

---

Field Documentation

ASPSolverManager::ResultsPtr GenuinePlainModelGenerator::currentResults [protected]

Result handle for asp solver evaluation, using externallyAugmentedInput.

Definition at line 77 of file GenuinePlainModelGenerator.h.

Factory& GenuinePlainModelGenerator::factory [protected]

Reference to the factory which created this model generator.

Definition at line 72 of file GenuinePlainModelGenerator.h.

Referenced by generateNextModel().

InterpretationConstPtr GenuinePlainModelGenerator::postprocessedInput [protected]

EDB + original (input) interpretation plus auxiliary atoms for evaluated external atoms.

Definition at line 75 of file GenuinePlainModelGenerator.h.

Referenced by GenuinePlainModelGenerator().

GenuineSolverPtr GenuinePlainModelGenerator::solver [protected]

Solver instance.

Definition at line 80 of file GenuinePlainModelGenerator.h.

Referenced by generateNextModel(), GenuinePlainModelGenerator(), and ~GenuinePlainModelGenerator().

---

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

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