PlainModelGeneratorFactory Class Reference

Factory for the PlainModelGenerator. More...

#include <include/dlvhex2/PlainModelGenerator.h>

Inheritance diagram for PlainModelGeneratorFactory:

Collaboration diagram for PlainModelGeneratorFactory:

Public Types
typedef ComponentGraph::ComponentInfo	ComponentInfo
Public Member Functions
	PlainModelGeneratorFactory (ProgramCtx &ctx, const ComponentInfo &ci, ASPSolverManager::SoftwareConfigurationPtr externalEvalConfig)
	Constructor.
virtual	~PlainModelGeneratorFactory ()
	Destructor.
virtual ModelGeneratorPtr	createModelGenerator (InterpretationConstPtr input)
	Instantiates a model generator for the current component.
virtual std::ostream &	print (std::ostream &o) const
	Prints information about the model generator for debugging purposes.
Protected Attributes
ASPSolverManager::SoftwareConfigurationPtr	externalEvalConfig
	Defines the solver to be used for external evaluation.
ProgramCtx &	ctx
	ProgramCtx.
std::vector< ID >	eatoms
	All external atoms of the component.
std::vector< ID >	idb
	Original IDB containing eatoms where all inputs are known.
std::vector< ID >	xidb
	Rewritten idb (containing replacements for eatoms).
Friends
class	PlainModelGenerator

---

Detailed Description

Factory for the PlainModelGenerator.

Definition at line 95 of file PlainModelGenerator.h.

---

Member Typedef Documentation

typedef ComponentGraph::ComponentInfo PlainModelGeneratorFactory::ComponentInfo

Definition at line 102 of file PlainModelGenerator.h.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN PlainModelGeneratorFactory::PlainModelGeneratorFactory	(	ProgramCtx &	ctx,
		const ComponentInfo &	ci,
		ASPSolverManager::SoftwareConfigurationPtr	externalEvalConfig
	)

Constructor.

Parameters:

ctx	See GenuineGuessAndCheckModelGeneratorFactory::ctx.
ci	See GenuineGuessAndCheckModelGeneratorFactory::ci.
externalEvalConfig	See GenuineGuessAndCheckModelGeneratorFactory::externalEvalConfig.

Definition at line 53 of file PlainModelGenerator.cpp.

References BaseModelGeneratorFactory::convertRule(), DBGLOG, idb, ComponentGraph::ComponentInfo::innerConstraints, ComponentGraph::ComponentInfo::innerEatoms, ComponentGraph::ComponentInfo::innerRules, Printer::printmany(), ProgramCtx::registry(), and xidb.

virtual PlainModelGeneratorFactory::~PlainModelGeneratorFactory

(

)

[inline, virtual]

Destructor.

Definition at line 134 of file PlainModelGenerator.h.

---

Member Function Documentation

virtual ModelGeneratorPtr PlainModelGeneratorFactory::createModelGenerator

(

InterpretationConstPtr

input

)

[inline, virtual]

Instantiates a model generator for the current component.

Parameters:

input

Input interpretation to this model generator.

Returns:

Model generator.

Implements ModelGeneratorFactoryBase< Interpretation >.

Definition at line 141 of file PlainModelGenerator.h.

References PlainModelGenerator.

std::ostream & PlainModelGeneratorFactory::print

(

std::ostream &

o

)

const [virtual]

Prints information about the model generator for debugging purposes.

Parameters:

o	Stream to print to.

Reimplemented from ModelGeneratorFactoryBase< Interpretation >.

Definition at line 111 of file PlainModelGenerator.cpp.

References ctx, eatoms, Printer::printmany(), ProgramCtx::registry(), and xidb.

---

Friends And Related Function Documentation

friend class PlainModelGenerator [friend]

Definition at line 101 of file PlainModelGenerator.h.

Referenced by createModelGenerator().

---

Field Documentation

ProgramCtx& PlainModelGeneratorFactory::ctx [protected]

ProgramCtx.

Definition at line 109 of file PlainModelGenerator.h.

Referenced by PlainModelGenerator::generateNextModel(), and print().

std::vector<ID> PlainModelGeneratorFactory::eatoms [protected]

All external atoms of the component.

Definition at line 111 of file PlainModelGenerator.h.

Referenced by PlainModelGenerator::generateNextModel(), and print().

ASPSolverManager::SoftwareConfigurationPtr PlainModelGeneratorFactory::externalEvalConfig [protected]

Defines the solver to be used for external evaluation.

Definition at line 107 of file PlainModelGenerator.h.

Referenced by PlainModelGenerator::generateNextModel().

std::vector<ID> PlainModelGeneratorFactory::idb [protected]

Original IDB containing eatoms where all inputs are known.

Auxiliary input rules of these eatoms must be in predecessor unit!

Definition at line 116 of file PlainModelGenerator.h.

Referenced by PlainModelGeneratorFactory().

std::vector<ID> PlainModelGeneratorFactory::xidb [protected]

Rewritten idb (containing replacements for eatoms).

x stands for transformed.

Definition at line 120 of file PlainModelGenerator.h.

Referenced by PlainModelGenerator::generateNextModel(), PlainModelGeneratorFactory(), and print().

---

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

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