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

## shared()

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.

## interCard()

template<class View0, class View1, class View2>

ExecStatus Gecode::Set::RelOp::interCard | ( | Space & | home,
|  | bool & | retmodified,
|  | View0 & | x0,
|  | View1 & | x1,
|  | View2 & | x2 )

Definition at line 89 of file common.hpp.

## unionCard()

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 145 of file common.hpp.

## unionNCard()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::unionNCard | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y,
|  | GLBndSet & | unionOfDets )

Definition at line 193 of file common.hpp.

## unionNXiUB()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::unionNXiUB | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y,
|  | GLBndSet & | )

Definition at line 294 of file common.hpp.

## partitionNCard()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::partitionNCard | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y,
|  | GLBndSet & | unionOfDets )

Definition at line 308 of file common.hpp.

## partitionNXi()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::partitionNXi | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y )

Definition at line 397 of file common.hpp.

## partitionNXiUB()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::partitionNXiUB | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y,
|  | GLBndSet & | unionOfDets )

Definition at line 467 of file common.hpp.

## partitionNXiLB()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::partitionNXiLB | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y,
|  | GLBndSet & | unionOfDets )

Definition at line 513 of file common.hpp.

## partitionNYLB()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::partitionNYLB | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y,
|  | GLBndSet & | unionOfDets )

Definition at line 560 of file common.hpp.

## partitionNYUB()

template<class View0, class View1>

ExecStatus Gecode::Set::RelOp::partitionNYUB | ( | Space & | home,
|  | bool & | modified,
|  | ViewArray< View0 > & | x,
|  | View1 & | y,
|  | GLBndSet & | unionOfDets )

Definition at line 587 of file common.hpp.

## post_compl() [1/4]

void Gecode::Set::RelOp::post_compl | ( | Home | home,
|  | ConstSetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | ConstSetView | z )

Definition at line 43 of file post-compl-cvc.cpp.

## post_compl() [2/4]

void Gecode::Set::RelOp::post_compl | ( | Home | home,
|  | ConstSetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | SetView | z )

Definition at line 43 of file post-compl-cvv.cpp.

## post_compl() [3/4]

void Gecode::Set::RelOp::post_compl | ( | Home | home,
|  | SetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | ConstSetView | z )

Definition at line 43 of file post-compl-vvc.cpp.

## post_compl() [4/4]

void Gecode::Set::RelOp::post_compl | ( | Home | home,
|  | SetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | SetView | z )

Definition at line 43 of file post-compl.cpp.

## post_nocompl() [1/4]

void Gecode::Set::RelOp::post_nocompl | ( | Home | home,
|  | ConstSetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | SetRelType | r,
|  | ConstSetView | z )

Definition at line 43 of file post-nocompl-cvc.cpp.

## post_nocompl() [2/4]

void Gecode::Set::RelOp::post_nocompl | ( | Home | home,
|  | ConstSetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | SetRelType | r,
|  | SetView | z )

Definition at line 43 of file post-nocompl-cvv.cpp.

## post_nocompl() [3/4]

void Gecode::Set::RelOp::post_nocompl | ( | Home | home,
|  | SetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | SetRelType | r,
|  | ConstSetView | z )

Definition at line 43 of file post-nocompl-vvc.cpp.

## post_nocompl() [4/4]

void Gecode::Set::RelOp::post_nocompl | ( | Home | home,
|  | SetView | x,
|  | SetOpType | op,
|  | SetView | y,
|  | SetRelType | r,
|  | SetView | z )

Definition at line 43 of file post-nocompl.cpp.

## rel_eq()

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.

## rel_sub()

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.

## rel_sup()

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.

## rel_op_post_lex()

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.

## rel_op_post_nocompl()

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.