DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT > Struct Template Reference

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

---

Detailed Description

template<typename AnyOrdinaryASPSolverT>
struct DLVHEX_NAMESPACE_BEGIN::ExternalSolverHelper< AnyOrdinaryASPSolverT >

Definition at line 56 of file FLPModelGeneratorBase.tcc.

---

Member Function Documentation

template<typename AnyOrdinaryASPSolverT >

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

Definition at line 62 of file FLPModelGeneratorBase.tcc.

template<typename AnyOrdinaryASPSolverT >

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

(

boost::shared_ptr< AnyOrdinaryASPSolverT >

solverPtr

)

[inline, static]

Definition at line 58 of file FLPModelGeneratorBase.tcc.

---

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

• include/dlvhex2/FLPModelGeneratorBase.tcc