
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 |