DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver > Struct Template Reference

Static Public Member Functions
static NogoodContainerPtr	getNogoodContainer (boost::shared_ptr< GenuineSolver > solverPtr)
static void	addNogood (boost::shared_ptr< GenuineSolver > solverPtr, Nogood ng)

---

Detailed Description

template<>
struct DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver >

Definition at line 70 of file FLPModelGeneratorBase.tcc.

---

Member Function Documentation

static void DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver >::addNogood	(	boost::shared_ptr< GenuineSolver >	solverPtr,
		Nogood	ng
	)		[inline, static]

Definition at line 75 of file FLPModelGeneratorBase.tcc.

References GenuineSolver::addNogood().

static NogoodContainerPtr DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< GenuineSolver >::getNogoodContainer

(

boost::shared_ptr< GenuineSolver >

solverPtr

)

[inline, static]

Definition at line 72 of file FLPModelGeneratorBase.tcc.

---

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

• include/dlvhex2/FLPModelGeneratorBase.tcc