dlvhex  2.5.0
Public Types | Public Member Functions | Private Attributes
InternalGroundDASPSolver Class Reference

Internal solver for disjunctive ASP without using third-party software. More...

#include <include/dlvhex2/InternalGroundDASPSolver.h>

Inheritance diagram for InternalGroundDASPSolver:
Inheritance graph
[legend]
Collaboration diagram for InternalGroundDASPSolver:
Collaboration graph
[legend]

Public Types

typedef boost::shared_ptr
< InternalGroundDASPSolver > 		Ptr
typedef boost::shared_ptr
< const
InternalGroundDASPSolver > 		ConstPtr

Public Member Functions

 InternalGroundDASPSolver (ProgramCtx &ctx, const AnnotatedGroundProgram &p, InterpretationConstPtr frozen=InterpretationConstPtr())
 Constructor.
virtual InterpretationPtr getNextModel ()
 Returns the next model.

Private Attributes

UnfoundedSetCheckerManager ufscm
 Manager for unfounded set checking.

Detailed Description

Internal solver for disjunctive ASP without using third-party software.

Definition at line 56 of file InternalGroundDASPSolver.h.

Member Typedef Documentation

typedef boost::shared_ptr<const InternalGroundDASPSolver> InternalGroundDASPSolver::ConstPtr

Reimplemented from InternalGroundASPSolver.

Definition at line 72 of file InternalGroundDASPSolver.h.

typedef boost::shared_ptr<InternalGroundDASPSolver> InternalGroundDASPSolver::Ptr

Reimplemented from InternalGroundASPSolver.

Definition at line 71 of file InternalGroundDASPSolver.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN InternalGroundDASPSolver::InternalGroundDASPSolver ( ProgramCtx &  ctx,
const AnnotatedGroundProgram &  p,
InterpretationConstPtr  frozen = InterpretationConstPtr() 
)

Constructor.

Parameters:
ctxProgramCtx.
pGround program with meta information.
frozenAtoms which shall not be optimized away since they might be defined by assumptions.

Definition at line 52 of file InternalGroundDASPSolver.cpp.

Member Function Documentation

InterpretationPtr InternalGroundDASPSolver::getNextModel ( ) [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.

Reimplemented from InternalGroundASPSolver.

Definition at line 57 of file InternalGroundDASPSolver.cpp.

References CDNLSolver::addNogood(), DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, UnfoundedSetCheckerManager::getLastUFSNogood(), UnfoundedSetCheckerManager::getUnfoundedSet(), and ufscm.

Field Documentation

UnfoundedSetCheckerManager InternalGroundDASPSolver::ufscm [private]

Manager for unfounded set checking.

Definition at line 60 of file InternalGroundDASPSolver.h.

Referenced by getNextModel().

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