GuessAndCheckModelGeneratorFactory Class Reference

Factory for the GuessAndCheckModelGenerator. More...

#include <include/dlvhex2/GuessAndCheckModelGenerator.h>

Inheritance diagram for GuessAndCheckModelGeneratorFactory:

Collaboration diagram for GuessAndCheckModelGeneratorFactory:

Public Types
typedef ComponentGraph::ComponentInfo	ComponentInfo
Public Member Functions
	GuessAndCheckModelGeneratorFactory (ProgramCtx &ctx, const ComponentInfo &ci, ASPSolverManager::SoftwareConfigurationPtr externalEvalConfig)
	Constructor.
virtual	~GuessAndCheckModelGeneratorFactory ()
	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.
virtual std::ostream &	print (std::ostream &o, bool verbose) 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.
ComponentInfo	ci
	ComponentInfo of the component to be solved by the model generators instantiated by this factory.
std::vector< ID >	outerEatoms
	Outer external atoms of the component.
Friends
class	GuessAndCheckModelGenerator

---

Detailed Description

Factory for the GuessAndCheckModelGenerator.

Definition at line 51 of file GuessAndCheckModelGenerator.h.

---

Member Typedef Documentation

typedef ComponentGraph::ComponentInfo GuessAndCheckModelGeneratorFactory::ComponentInfo

Definition at line 58 of file GuessAndCheckModelGenerator.h.

---

Constructor & Destructor Documentation

GuessAndCheckModelGeneratorFactory::GuessAndCheckModelGeneratorFactory	(	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 144 of file GuessAndCheckModelGenerator.cpp.

References BaseModelGeneratorFactory::convertRule(), FLPModelGeneratorFactoryBase::innerEatoms, and LOG.

virtual GuessAndCheckModelGeneratorFactory::~GuessAndCheckModelGeneratorFactory

(

)

[inline, virtual]

Destructor.

Definition at line 85 of file GuessAndCheckModelGenerator.h.

---

Member Function Documentation

GuessAndCheckModelGeneratorFactory::ModelGeneratorPtr GuessAndCheckModelGeneratorFactory::createModelGenerator

(

InterpretationConstPtr

input

)

[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 186 of file GuessAndCheckModelGenerator.cpp.

References GuessAndCheckModelGenerator.

std::ostream & GuessAndCheckModelGeneratorFactory::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 192 of file GuessAndCheckModelGenerator.cpp.

std::ostream & GuessAndCheckModelGeneratorFactory::print	(	std::ostream &	o,
		bool	verbose
	)		const [virtual]

Prints information about the model generator for debugging purposes.

Parameters:

o	Stream to print to.
verbose	True will output more detailed information.

Definition at line 199 of file GuessAndCheckModelGenerator.cpp.

References ctx, FLPModelGeneratorFactoryBase::gidb, FLPModelGeneratorFactoryBase::idb, FLPModelGeneratorFactoryBase::innerEatoms, outerEatoms, Printer::printmany(), ProgramCtx::registry(), FLPModelGeneratorFactoryBase::xidb, FLPModelGeneratorFactoryBase::xidbflpbody, and FLPModelGeneratorFactoryBase::xidbflphead.

---

Friends And Related Function Documentation

friend class GuessAndCheckModelGenerator [friend]

Definition at line 57 of file GuessAndCheckModelGenerator.h.

Referenced by createModelGenerator().

---

Field Documentation

ComponentInfo GuessAndCheckModelGeneratorFactory::ci [protected]

ComponentInfo of the component to be solved by the model generators instantiated by this factory.

Definition at line 67 of file GuessAndCheckModelGenerator.h.

Referenced by GuessAndCheckModelGenerator::GuessAndCheckModelGenerator().

ProgramCtx& GuessAndCheckModelGeneratorFactory::ctx [protected]

ProgramCtx.

Reimplemented from FLPModelGeneratorFactoryBase.

Definition at line 65 of file GuessAndCheckModelGenerator.h.

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

ASPSolverManager::SoftwareConfigurationPtr GuessAndCheckModelGeneratorFactory::externalEvalConfig [protected]

Defines the solver to be used for external evaluation.

Definition at line 63 of file GuessAndCheckModelGenerator.h.

Referenced by GuessAndCheckModelGenerator::GuessAndCheckModelGenerator().

std::vector<ID> GuessAndCheckModelGeneratorFactory::outerEatoms [protected]

Outer external atoms of the component.

Definition at line 71 of file GuessAndCheckModelGenerator.h.

Referenced by GuessAndCheckModelGenerator::GuessAndCheckModelGenerator(), and print().

---

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

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