Standard set operation propagators. More...
Classes | |
class | Intersection |
Propagator for ternary intersection More... | |
class | IntersectionN |
Propagator for nary intersection More... | |
class | PartitionN |
Propagator for nary partition More... | |
class | SubOfUnion |
Propagator for the subset of union More... | |
class | SuperOfInter |
Propagator for the superset of intersection More... | |
class | Union |
Propagator for ternary union More... | |
class | UnionN |
Propagator for nary union 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) |
Standard set operation propagators.
|
inline |
Definition at line 89 of file common.hpp.
ExecStatus Gecode::Set::RelOp::interCard | ( | Space & | home, |
bool & | retmodified, | ||
View0 & | x0, | ||
View1 & | x1, | ||
View2 & | x2 | ||
) |
Definition at line 94 of file common.hpp.
ExecStatus Gecode::Set::RelOp::unionCard | ( | Space & | home, |
bool & | retmodified, | ||
View0 & | x0, | ||
View1 & | x1, | ||
View2 & | x2 | ||
) |
Definition at line 150 of file common.hpp.
ExecStatus Gecode::Set::RelOp::unionNCard | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y, | ||
GLBndSet & | unionOfDets | ||
) |
Definition at line 198 of file common.hpp.
ExecStatus Gecode::Set::RelOp::unionNXiUB | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y, | ||
GLBndSet & | |||
) |
Definition at line 299 of file common.hpp.
ExecStatus Gecode::Set::RelOp::partitionNCard | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y, | ||
GLBndSet & | unionOfDets | ||
) |
Definition at line 313 of file common.hpp.
ExecStatus Gecode::Set::RelOp::partitionNXi | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y | ||
) |
Definition at line 402 of file common.hpp.
ExecStatus Gecode::Set::RelOp::partitionNXiUB | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y, | ||
GLBndSet & | unionOfDets | ||
) |
Definition at line 472 of file common.hpp.
ExecStatus Gecode::Set::RelOp::partitionNXiLB | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y, | ||
GLBndSet & | unionOfDets | ||
) |
Definition at line 518 of file common.hpp.
ExecStatus Gecode::Set::RelOp::partitionNYLB | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y, | ||
GLBndSet & | unionOfDets | ||
) |
Definition at line 565 of file common.hpp.
ExecStatus Gecode::Set::RelOp::partitionNYUB | ( | Space & | home, |
bool & | modified, | ||
ViewArray< View0 > & | x, | ||
View1 & | y, | ||
GLBndSet & | unionOfDets | ||
) |
Definition at line 592 of file common.hpp.
void Gecode::Set::RelOp::post_compl | ( | Home | home, |
ConstSetView | x, | ||
SetOpType | op, | ||
SetView | y, | ||
ConstSetView | z | ||
) |
Definition at line 47 of file post-compl-cvc.cpp.
void Gecode::Set::RelOp::post_compl | ( | Home | home, |
ConstSetView | x, | ||
SetOpType | op, | ||
SetView | y, | ||
SetView | z | ||
) |
Definition at line 47 of file post-compl-cvv.cpp.
void Gecode::Set::RelOp::post_compl | ( | Home | home, |
SetView | x, | ||
SetOpType | op, | ||
SetView | y, | ||
ConstSetView | z | ||
) |
Definition at line 47 of file post-compl-vvc.cpp.
Definition at line 47 of file post-compl.cpp.
void Gecode::Set::RelOp::post_nocompl | ( | Home | home, |
ConstSetView | x, | ||
SetOpType | op, | ||
SetView | y, | ||
SetRelType | r, | ||
ConstSetView | z | ||
) |
Definition at line 47 of file post-nocompl-cvc.cpp.
void Gecode::Set::RelOp::post_nocompl | ( | Home | home, |
ConstSetView | x, | ||
SetOpType | op, | ||
SetView | y, | ||
SetRelType | r, | ||
SetView | z | ||
) |
Definition at line 47 of file post-nocompl-cvv.cpp.
void Gecode::Set::RelOp::post_nocompl | ( | Home | home, |
SetView | x, | ||
SetOpType | op, | ||
SetView | y, | ||
SetRelType | r, | ||
ConstSetView | z | ||
) |
Definition at line 47 of file post-nocompl-vvc.cpp.
void Gecode::Set::RelOp::post_nocompl | ( | Home | home, |
SetView | x, | ||
SetOpType | op, | ||
SetView | y, | ||
SetRelType | r, | ||
SetView | z | ||
) |
Definition at line 47 of file post-nocompl.cpp.
|
inline |
|
inline |