Gecode::Int::Bool Namespace Reference

Boolean propagators. More...

Classes
class	OrTrueSubsumed
	Binary Boolean disjunction propagator (subsumed). More...
class	BoolBinary
	Base-class for binary Boolean propagators. More...
class	BoolTernary
	Base-class for ternary Boolean propagators. More...
class	Eq
	Boolean equality propagator. More...
class	NaryEq
	n-ary Boolean equality propagator More...
class	Lq
	Boolean less or equal propagator. More...
class	NaryLq
	Nary Boolean less or equal propagator. More...
class	Le
	Boolean less propagator. More...
class	BinOrTrue
	Binary Boolean disjunction propagator (true). More...
class	TerOrTrue
	Ternary Boolean disjunction propagator (true). More...
class	QuadOrTrue
	Quarternary Boolean disjunction propagator (true). More...
class	Or
	Boolean disjunction propagator. More...
class	NaryOr
	Boolean n-ary disjunction propagator. More...
class	NaryOrTrue
	Boolean n-ary disjunction propagator (true). More...
class	Eqv
	Boolean equivalence propagator. More...
class	NaryEqv
	Boolean n-ary equivalence propagator. More...
class	Clause
	Boolean clause propagator (disjunctive). More...
class	ClauseTrue
	Boolean clause propagator (disjunctive, true). More...
Functions
template<class VX , class VY >
ExecStatus	resubscribe (Space &home, Propagator &p, VX &x0, ViewArray< VX > &x, VY &x1, ViewArray< VY > &y)
template<class VX >
void	eliminate_zero (ViewArray< VX > &x, int &n_zero)

Detailed Description

Boolean propagators.

template<class VX , class VY >

ExecStatus Gecode::Int::Bool::resubscribe	(	Space &	home,
		Propagator &	p,
		VX &	x0,
		ViewArray< VX > &	x,
		VY &	x1,
		ViewArray< VY > &	y
	)			`[inline]`

Definition at line 142 of file clause.hpp.

template<class VX >

void Gecode::Int::Bool::eliminate_zero	(	ViewArray< VX > &	x,
		int &	n_zero
	)			`[inline]`

Definition at line 228 of file clause.hpp.