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.
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 198 of file common.icc.
template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::unionNXiUB | ( | Space * | home, | |
bool & | modified, | |||
ViewArray< View0 > & | x, | |||
View1 & | y, | |||
GLBndSet & | ||||
) | [inline] |
Definition at line 297 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 | |||
) | [inline] |
Definition at line 311 of file common.icc.
template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::partitionNXi | ( | Space * | home, | |
bool & | modified, | |||
ViewArray< View0 > & | x, | |||
View1 & | y | |||
) | [inline] |
Definition at line 399 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 | |||
) | [inline] |
Definition at line 466 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 | |||
) | [inline] |
Definition at line 510 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 | |||
) | [inline] |
Definition at line 555 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 | |||
) | [inline] |
Definition at line 584 of file common.icc.
template<class View0, class View1, class Res>
void Gecode::Set::RelOp::rel_eq | ( | Space * | home, | |
View0 | x0, | |||
SetOpType | op, | |||
View1 | x1, | |||
Res | x2 | |||
) | [inline] |
template<class View0, class View1, class View2>
void Gecode::Set::RelOp::rel_sub | ( | Space * | home, | |
View0 | x0, | |||
SetOpType | op, | |||
View1 | x1, | |||
View2 | x2 | |||
) | [inline] |
template<class View0, class View1, class View2>
void Gecode::Set::RelOp::rel_sup | ( | Space * | home, | |
View0 | x0, | |||
SetOpType | op, | |||
View1 | x1, | |||
View2 | x2 | |||
) | [inline] |
template<class View0, class View1, class View2>
void Gecode::Set::RelOp::rel_op_post_nocompl | ( | Space * | home, | |
View0 | x, | |||
SetOpType | op, | |||
View1 | y, | |||
SetRelType | r, | |||
View2 | z | |||
) | [inline] |
template<class View0, class View1, class View2>
void Gecode::Set::RelOp::rel_op_post | ( | Space * | home, | |
View0 | x, | |||
SetOpType | op, | |||
View1 | y, | |||
SetRelType | r, | |||
View2 | z | |||
) | [inline] |