Inheritance diagram for Clasp::CBConsequences::CBFinder:

Public Types
typedef Solver::ConstraintDB	ConstraintDB
typedef CBConsequences::SharedConstraint	SharedCon
typedef SharedLiterals	SharedLits
Public Member Functions
	CBFinder (Solver &s, MinimizeConstraint min, SharedCon sh)
Constraint *	cloneAttach (Solver &s)
	Returns a clone of this and adds necessary watches to the given solver.
void	destroy (Solver *s, bool detach)
	Default is to call delete this.
void	doCommitModel (Enumerator &ctx, Solver &s)
bool	doUpdate (Solver &s)
void	pushLocked (Solver &s, ClauseHead *h)
Public Attributes
LitVec	current
SharedLits *	last
ConstraintDB	locked
SharedCon *	shared

Detailed Description

Definition at line 51 of file cb_enumerator.cpp.

Member Typedef Documentation

typedef Solver::ConstraintDB Clasp::CBConsequences::CBFinder::ConstraintDB

Definition at line 54 of file cb_enumerator.cpp.

typedef CBConsequences::SharedConstraint Clasp::CBConsequences::CBFinder::SharedCon

Definition at line 53 of file cb_enumerator.cpp.

typedef SharedLiterals Clasp::CBConsequences::CBFinder::SharedLits

Definition at line 55 of file cb_enumerator.cpp.

Constructor & Destructor Documentation

Clasp::CBConsequences::CBFinder::CBFinder	(	Solver &	s,
		MinimizeConstraint *	min,
		SharedCon *	sh
	)		`[inline]`

Definition at line 56 of file cb_enumerator.cpp.

Member Function Documentation

Constraint* Clasp::CBConsequences::CBFinder::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.