Generated on Fri Oct 19 11:26:23 2018 for Gecode by doxygen 1.6.3

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.