PlainModelGenerator Class Reference

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

#include <include/dlvhex2/PlainModelGenerator.h>

Inheritance diagram for PlainModelGenerator:

Collaboration diagram for PlainModelGenerator:

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

---

Detailed Description

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

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

Definition at line 58 of file PlainModelGenerator.h.

---

Member Typedef Documentation

typedef PlainModelGeneratorFactory PlainModelGenerator::Factory

Definition at line 64 of file PlainModelGenerator.h.

---

Constructor & Destructor Documentation

PlainModelGenerator::PlainModelGenerator	(	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 127 of file PlainModelGenerator.cpp.

virtual PlainModelGenerator::~PlainModelGenerator

(

)

[inline, virtual]

Destuctor.

Definition at line 88 of file PlainModelGenerator.h.

---

Member Function Documentation

PlainModelGenerator::InterpretationPtr PlainModelGenerator::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 137 of file PlainModelGenerator.cpp.

References PreparedResults::add(), PlainModelGeneratorFactory::ctx, currentResults, DLVHEX_BENCHMARK_COUNT, DLVHEX_BENCHMARK_REGISTER, DLVHEX_BENCHMARK_REGISTER_AND_START, DLVHEX_BENCHMARK_STOP, PlainModelGeneratorFactory::eatoms, ProgramCtx::edb, BaseModelGenerator::evaluateExternalAtoms(), PlainModelGeneratorFactory::externalEvalConfig, factory, ModelGeneratorBase< Interpretation >::input, ProgramCtx::maxint, postprocessedInput, ProgramCtx::registry(), ASPSolverManager::solve(), and PlainModelGeneratorFactory::xidb.

---

Field Documentation

ASPSolverManager::ResultsPtr PlainModelGenerator::currentResults [protected]

Result handle for asp solver evaluation, using externallyAugmentedInput.

Definition at line 74 of file PlainModelGenerator.h.

Referenced by generateNextModel().

Factory& PlainModelGenerator::factory [protected]

Reference to the factory which created this model generator.

Definition at line 69 of file PlainModelGenerator.h.

Referenced by generateNextModel().

InterpretationConstPtr PlainModelGenerator::postprocessedInput [protected]

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

Definition at line 72 of file PlainModelGenerator.h.

Referenced by generateNextModel().

---

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

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