Inheritance diagram for Clasp::ModelEnumerator::RecordFinder:

Public Types
typedef ModelEnumerator::QPtr	QPtr
typedef ClauseCreator::Result	Result
typedef SolutionQueue::SL	SL
typedef SolutionQueue::ThreadId	ThreadId
Public Member Functions
Constraint *	cloneAttach (Solver &s)
	Returns a clone of this and adds necessary watches to the given solver.
void	doCommitModel (Enumerator &ctx, Solver &s)
bool	doUpdate (Solver &s)
	RecordFinder (Solver &s, MinimizeConstraint min, VarVec project, SolutionQueue *q)
Public Attributes
ThreadId	id
QPtr	queue
LitVec	solution

Detailed Description

Definition at line 64 of file model_enumerators.cpp.

Member Typedef Documentation

typedef ModelEnumerator::QPtr Clasp::ModelEnumerator::RecordFinder::QPtr

Definition at line 66 of file model_enumerators.cpp.

typedef ClauseCreator::Result Clasp::ModelEnumerator::RecordFinder::Result

Definition at line 69 of file model_enumerators.cpp.

typedef SolutionQueue::SL Clasp::ModelEnumerator::RecordFinder::SL

Definition at line 68 of file model_enumerators.cpp.

typedef SolutionQueue::ThreadId Clasp::ModelEnumerator::RecordFinder::ThreadId

Definition at line 67 of file model_enumerators.cpp.

Constructor & Destructor Documentation

Clasp::ModelEnumerator::RecordFinder::RecordFinder	(	Solver &	s,
		MinimizeConstraint *	min,
		VarVec *	project,
		SolutionQueue *	q
	)		`[inline]`

Definition at line 70 of file model_enumerators.cpp.

Member Function Documentation

Constraint* Clasp::ModelEnumerator::RecordFinder::cloneAttach ( Solver & other ) [inline, virtual]

Returns a clone of this and adds necessary watches to the given solver.

The function shall create and return a copy of this constraint to be used in the given solver. Furthermore, it shall add necessary watches to the given solver.