Generated on Wed Jan 4 17:49:25 2006 for Gecode by doxygen 1.4.6

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 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 &unionOfDets)
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>
forceinline void rel_eq (Space *home, View0 x0, SetOpType op, View1 x1, Res x2)
template<class View0, class View1, class View2>
forceinline void rel_sub (Space *home, View0 x0, SetOpType op, View1 x1, View2 x2)
template<class View0, class View1, class View2>
forceinline void rel_sup (Space *home, View0 x0, SetOpType op, View1 x1, View2 x2)
template<class View0, class View1, class View2>
forceinline 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 90 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
 

Definition at line 95 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::unionNCard Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y,
GLBndSet &  unionOfDets
 

Definition at line 141 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::unionNXiUB Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y,
GLBndSet &  unionOfDets
 

Definition at line 237 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::partitionNCard Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y,
GLBndSet &  unionOfDets
 

Definition at line 251 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::partitionNXi Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y
 

Definition at line 334 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::partitionNXiUB Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y,
GLBndSet &  unionOfDets
 

Definition at line 401 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::partitionNXiLB Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y,
GLBndSet &  unionOfDets
 

Definition at line 445 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::partitionNYLB Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y,
GLBndSet &  unionOfDets
 

Definition at line 490 of file common.icc.

template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::partitionNYUB Space *  home,
bool &  modified,
ViewArray< View0 > &  x,
View1 &  y,
GLBndSet &  unionOfDets
 

Definition at line 519 of file common.icc.

template<class View0, class View1, class Res>
forceinline void Gecode::Set::RelOp::rel_eq Space *  home,
View0  x0,
SetOpType  op,
View1  x1,
Res  x2
 

Definition at line 33 of file post.icc.

template<class View0, class View1, class View2>
forceinline void Gecode::Set::RelOp::rel_sub Space *  home,
View0  x0,
SetOpType  op,
View1  x1,
View2  x2
 

Definition at line 69 of file post.icc.

template<class View0, class View1, class View2>
forceinline void Gecode::Set::RelOp::rel_sup Space *  home,
View0  x0,
SetOpType  op,
View1  x1,
View2  x2
 

Definition at line 110 of file post.icc.

template<class View0, class View1, class View2>
forceinline void Gecode::Set::RelOp::rel_op_post Space *  home,
View0  x,
SetOpType  op,
View1  y,
SetRelType  r,
View2  z
 

Definition at line 155 of file post.icc.