Gecode::Set::RelOp Namespace Reference

Standard set operation propagators. More...

Classes
class	SuperOfInter
	Propagator for the superset of intersection More...
class	SubOfUnion
	Propagator for the subset of union More...
class	Intersection
	Propagator for ternary intersection More...
class	Union
	Propagator for ternary union More...
class	IntersectionN
	Propagator for nary intersection More...
class	UnionN
	Propagator for nary union More...
class	PartitionN
	Propagator for nary partition More...
Functions
template<class View0 , class View1 , class View2 >
bool	shared (View0 v0, View1 v1, View2 v2)
template<class View0 , class View1 , class View2 >
ExecStatus	interCard (Space &home, bool &retmodified, View0 &x0, View1 &x1, View2 &x2)
template<class View0 , class View1 , class View2 >
ExecStatus	unionCard (Space &home, bool &retmodified, View0 &x0, View1 &x1, View2 &x2)
template<class View0 , class View1 >
ExecStatus	unionNCard (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets)
template<class View0 , class View1 >
ExecStatus	unionNXiUB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &)
template<class View0 , class View1 >
ExecStatus	partitionNCard (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets)
template<class View0 , class View1 >
ExecStatus	partitionNXi (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y)
template<class View0 , class View1 >
ExecStatus	partitionNXiUB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets)
template<class View0 , class View1 >
ExecStatus	partitionNXiLB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets)
template<class View0 , class View1 >
ExecStatus	partitionNYLB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets)
template<class View0 , class View1 >
ExecStatus	partitionNYUB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets)
void	post_compl (Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
void	post_compl (Home home, ConstSetView x, SetOpType op, SetView y, SetView z)
void	post_compl (Home home, SetView x, SetOpType op, SetView y, ConstSetView z)
void	post_compl (Home home, SetView x, SetOpType op, SetView y, SetView z)
void	post_nocompl (Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z)
void	post_nocompl (Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, SetView z)
void	post_nocompl (Home home, SetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z)
void	post_nocompl (Home home, SetView x, SetOpType op, SetView y, SetRelType r, SetView z)
template<class View0 , class View1 , class Res >
void	rel_eq (Home home, View0 x0, SetOpType op, View1 x1, Res x2)
template<class View0 , class View1 , class View2 >
void	rel_sub (Home home, View0 x0, SetOpType op, View1 x1, View2 x2)
template<class View0 , class View1 , class View2 >
void	rel_sup (Home home, View0 x0, SetOpType op, View1 x1, View2 x2)
template<class View >
void	rel_op_post_lex (Home home, SetView x0, SetRelType r, View x1)
template<class View0 , class View1 , class View2 >
void	rel_op_post_nocompl (Home home, View0 x, SetOpType op, View1 y, SetRelType r, View2 z)

---

Detailed Description

Standard set operation propagators.

---

Function Documentation

template<class View0 , class View1 , class View2 >

bool Gecode::Set::RelOp::shared	(	View0	v0,
		View1	v1,
		View2	v2
	)			[inline]

Definition at line 84 of file common.hpp.

template<class View0 , class View1 , class View2 >

ExecStatus Gecode::Set::RelOp::interCard	(	Space &	home,
		bool &	retmodified,
		View0 &	x0,
		View1 &	x1,
		View2 &	x2
	)			[inline]

Definition at line 89 of file common.hpp.

template<class View0 , class View1 , class View2 >

ExecStatus Gecode::Set::RelOp::unionCard	(	Space &	home,
		bool &	retmodified,
		View0 &	x0,
		View1 &	x1,
		View2 &	x2
	)			[inline]

Definition at line 145 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::unionNCard	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y,
		GLBndSet &	unionOfDets
	)			[inline]

Definition at line 193 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::unionNXiUB	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y,
		GLBndSet &
	)			[inline]

Definition at line 294 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::partitionNCard	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y,
		GLBndSet &	unionOfDets
	)			[inline]

Definition at line 308 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::partitionNXi	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y
	)			[inline]

Definition at line 397 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::partitionNXiUB	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y,
		GLBndSet &	unionOfDets
	)			[inline]

Definition at line 467 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::partitionNXiLB	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y,
		GLBndSet &	unionOfDets
	)			[inline]

Definition at line 513 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::partitionNYLB	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y,
		GLBndSet &	unionOfDets
	)			[inline]

Definition at line 560 of file common.hpp.

template<class View0 , class View1 >

ExecStatus Gecode::Set::RelOp::partitionNYUB	(	Space &	home,
		bool &	modified,
		ViewArray< View0 > &	x,
		View1 &	y,
		GLBndSet &	unionOfDets
	)			[inline]

Definition at line 587 of file common.hpp.

void Gecode::Set::RelOp::post_compl	(	Home	home,
		ConstSetView	x,
		SetOpType	op,
		SetView	y,
		ConstSetView	z
	)

void Gecode::Set::RelOp::post_compl	(	Home	home,
		ConstSetView	x,
		SetOpType	op,
		SetView	y,
		SetView	z
	)

void Gecode::Set::RelOp::post_compl	(	Home	home,
		SetView	x,
		SetOpType	op,
		SetView	y,
		ConstSetView	z
	)

void Gecode::Set::RelOp::post_compl	(	Home	home,
		SetView	x,
		SetOpType	op,
		SetView	y,
		SetView	z
	)

void Gecode::Set::RelOp::post_nocompl	(	Home	home,
		ConstSetView	x,
		SetOpType	op,
		SetView	y,
		SetRelType	r,
		ConstSetView	z
	)

void Gecode::Set::RelOp::post_nocompl	(	Home	home,
		ConstSetView	x,
		SetOpType	op,
		SetView	y,
		SetRelType	r,
		SetView	z
	)

void Gecode::Set::RelOp::post_nocompl	(	Home	home,
		SetView	x,
		SetOpType	op,
		SetView	y,
		SetRelType	r,
		ConstSetView	z
	)

void Gecode::Set::RelOp::post_nocompl	(	Home	home,
		SetView	x,
		SetOpType	op,
		SetView	y,
		SetRelType	r,
		SetView	z
	)

template<class View0 , class View1 , class Res >

void Gecode::Set::RelOp::rel_eq	(	Home	home,
		View0	x0,
		SetOpType	op,
		View1	x1,
		Res	x2
	)			[inline]

Definition at line 45 of file post.hpp.

template<class View0 , class View1 , class View2 >

void Gecode::Set::RelOp::rel_sub	(	Home	home,
		View0	x0,
		SetOpType	op,
		View1	x1,
		View2	x2
	)			[inline]

Definition at line 81 of file post.hpp.

template<class View0 , class View1 , class View2 >

void Gecode::Set::RelOp::rel_sup	(	Home	home,
		View0	x0,
		SetOpType	op,
		View1	x1,
		View2	x2
	)			[inline]

Definition at line 122 of file post.hpp.

template<class View >

void Gecode::Set::RelOp::rel_op_post_lex	(	Home	home,
		SetView	x0,
		SetRelType	r,
		View	x1
	)			[inline]

Definition at line 167 of file post.hpp.

template<class View0 , class View1 , class View2 >

void Gecode::Set::RelOp::rel_op_post_nocompl	(	Home	home,
		View0	x,
		SetOpType	op,
		View1	y,
		SetRelType	r,
		View2	z
	)			[inline]

Definition at line 188 of file post.hpp.