Gecode::Set::RelOp Namespace Reference

Detailed Description

Standard set operation propagators.

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)

template<class View0, class View1, class Res>

void rel_eq (Space *home, View0 x0, SetOpType op, View1 x1, Res x2)

template<class View0, class View1, class View2>

void rel_sub (Space *home, View0 x0, SetOpType op, View1 x1, View2 x2)

template<class View0, class View1, class View2>

void rel_sup (Space *home, View0 x0, SetOpType op, View1 x1, View2 x2)

template<class View0, class View1, class View2>

void rel_op_post_nocompl (Space *home, View0 x, SetOpType op, View1 y, SetRelType r, View2 z)

template<class View0, class View1, class View2>

void rel_op_post (Space *home, View0 x, SetOpType op, View1 y, SetRelType r, View2 z)

Function Documentation

template<class View0, class View1, class View2>

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

Definition at line 89 of file common.icc.

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 94 of file common.icc.

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 150 of file common.icc.