dlvhex  2.5.0
Public Member Functions
OrdinaryASPSolver Class Reference

Abstract base class to capture ASP solvers. More...

#include <include/dlvhex2/OrdinaryASPSolver.h>

Inheritance diagram for OrdinaryASPSolver:
Inheritance graph
[legend]

Public Member Functions

virtual InterpretationPtr getNextModel ()=0
 Returns the next model.

Detailed Description

Abstract base class to capture ASP solvers.

Definition at line 48 of file OrdinaryASPSolver.h.

Member Function Documentation

virtual InterpretationPtr OrdinaryASPSolver::getNextModel ( ) [pure 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.

Implemented in InternalGroundASPSolver, GenuineSolver, GenuineGroundSolver, DLVHEX_NAMESPACE_BEGIN::ASMOrdinaryASPSolver, and InternalGroundDASPSolver.

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