dlvhex  2.5.0
Public Types | Public Member Functions | Static Public Member Functions
GenuineGrounder Class Reference

Base class for grounder implementations. More...

#include <include/dlvhex2/GenuineSolver.h>

Inheritance diagram for GenuineGrounder:
Inheritance graph
[legend]

Public Types

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

Public Member Functions

virtual const OrdinaryASPProgram & getGroundProgram ()=0

Static Public Member Functions

static Ptr getInstance (ProgramCtx &ctx, const OrdinaryASPProgram &program, InterpretationConstPtr frozen=InterpretationConstPtr())
 Interprets the settings in ctx and creates an instance of a concrete subclass of this class, which implements a specific grounder.

Detailed Description

Base class for grounder implementations.

Definition at line 77 of file GenuineSolver.h.

Member Typedef Documentation

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

Reimplemented in InternalGrounder, and GenuineSolver.

Definition at line 83 of file GenuineSolver.h.

typedef boost::shared_ptr<GenuineGrounder> GenuineGrounder::Ptr

Reimplemented in InternalGrounder, and GenuineSolver.

Definition at line 82 of file GenuineSolver.h.

Member Function Documentation

virtual const OrdinaryASPProgram& GenuineGrounder::getGroundProgram ( ) [pure virtual]

Implemented in InternalGrounder, and GenuineSolver.

DLVHEX_NAMESPACE_BEGIN GenuineGrounderPtr GenuineGrounder::getInstance ( ProgramCtx &  ctx,
const OrdinaryASPProgram &  program,
InterpretationConstPtr  frozen = InterpretationConstPtr() 
) [static]

Interprets the settings in ctx and creates an instance of a concrete subclass of this class, which implements a specific grounder.

Parameters:
ctxProgramCtx.
programOrdinaryASPProgram to be grounded.
frozenA set of atoms which occur in ns and are saved from being optimized away (e.g. because their truth values are relevant); if NULL, then all variables are frozen.
Returns:
Pointer to the new grounder instance.

Definition at line 69 of file GenuineSolver.cpp.

References ProgramCtx::config, DBGLOG, and Configuration::getOption().

Referenced by BaseModelGenerator::computeExtensionOfDomainPredicates(), GenuineGuessAndCheckModelGenerator::GenuineGuessAndCheckModelGenerator(), and GenuineGuessAndCheckModelGenerator::inlineExternalAtoms().

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