DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver Class Reference

Inheritance diagram for DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver:

Collaboration diagram for DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver:

Public Member Functions
virtual InterpretationPtr	getNextModel ()
	Returns the next model.
Static Public Member Functions
static ASMOrdinaryASPSolverPtr	getInstance (ProgramCtx &ctx, OrdinaryASPProgram &program)
Protected Member Functions
	ASMOrdinaryASPSolver (ProgramCtx &ctx, OrdinaryASPProgram &program)
Protected Attributes
ASPSolverManager::ResultsPtr	results
InterpretationConstPtr	mask

---

Detailed Description

Definition at line 102 of file GuessAndCheckModelGenerator.cpp.

---

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver::ASMOrdinaryASPSolver	(	ProgramCtx &	ctx,
		OrdinaryASPProgram &	program
	)		[inline, protected]

Definition at line 109 of file GuessAndCheckModelGenerator.cpp.

References ProgramCtx::aspsoftware, and ASPSolverManager::solve().

---

Member Function Documentation

static ASMOrdinaryASPSolverPtr DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver::getInstance	(	ProgramCtx &	ctx,
		OrdinaryASPProgram &	program
	)		[inline, static]

Definition at line 116 of file GuessAndCheckModelGenerator.cpp.

virtual InterpretationPtr DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver::getNextModel

(

)

[inline, virtual]

Returns the next model.

This will also trigger callbacks to the propagators, see addPropagator.

Returns:

The next model or a NULL-pointer of no more models exist.

Implements OrdinaryASPSolver.

Definition at line 121 of file GuessAndCheckModelGenerator.cpp.

---

Field Documentation

InterpretationConstPtr DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver::mask [protected]

Definition at line 107 of file GuessAndCheckModelGenerator.cpp.

ASPSolverManager::ResultsPtr DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver::results [protected]

Definition at line 106 of file GuessAndCheckModelGenerator.cpp.

---

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

• src/GuessAndCheckModelGenerator.cpp