Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

Simple relation constraints over Boolean variables
[Using finite domain integers]


Functions

void Gecode::rel (Space *home, BoolVar x0, IntRelType r, BoolVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_0 \sim_r x_1$.
void Gecode::rel (Space *home, BoolVar x0, IntRelType r, BoolVar x1, BoolVar b, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $(x_0 \sim_r x_1)\Leftrightarrow b$.
void Gecode::rel (Space *home, const BoolVarArgs &x, IntRelType r, BoolVar y, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_i \sim_r y $ for all $0\leq i<|x|$.
void Gecode::rel (Space *home, BoolVar x, IntRelType r, int n, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Propagates $ x \sim_r n$.
void Gecode::rel (Space *home, BoolVar x, IntRelType r, int n, BoolVar b, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Propagates $(x \sim_r n)\Leftrightarrow b$.
void Gecode::rel (Space *home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for Boolean operation on x0 and x1.
void Gecode::rel (Space *home, BoolVar x0, BoolOpType o, BoolVar x1, int n, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for Boolean operation on x0 and x1.
void Gecode::rel (Space *home, BoolOpType o, const BoolVarArgs &x, BoolVar y, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for Boolean operation on x.
void Gecode::rel (Space *home, BoolOpType o, const BoolVarArgs &x, int n, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for Boolean operation on x.
void Gecode::rel (Space *home, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Propagates $ x_i \sim_r c $ for all $0\leq i<|x|$.

Function Documentation

void Gecode::rel ( Space *  home,
BoolVar  x0,
IntRelType  r,
BoolVar  x1,
IntConLevel  ,
PropKind   
)

Post propagator for $ x_0 \sim_r x_1$.

Definition at line 82 of file bool.cc.

void Gecode::rel ( Space *  home,
BoolVar  x0,
IntRelType  r,
BoolVar  x1,
BoolVar  b,
IntConLevel  ,
PropKind   
)

Post propagator for $(x_0 \sim_r x_1)\Leftrightarrow b$.

Definition at line 156 of file bool.cc.

void Gecode::rel ( Space *  home,
const BoolVarArgs &  x,
IntRelType  r,
BoolVar  y,
IntConLevel  ,
PropKind   
)

Post propagator for $ x_i \sim_r y $ for all $0\leq i<|x|$.

Definition at line 256 of file bool.cc.

void Gecode::rel ( Space *  home,
BoolVar  x,
IntRelType  r,
int  n,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Propagates $ x \sim_r n$.

Throws an exception of type Int::NotZeroOne, if n is neither 0 or 1.

Definition at line 116 of file bool.cc.

void Gecode::rel ( Space *  home,
BoolVar  x,
IntRelType  r,
int  n,
BoolVar  b,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Propagates $(x \sim_r n)\Leftrightarrow b$.

Throws an exception of type Int::NotZeroOne, if n is neither 0 or 1.

Definition at line 196 of file bool.cc.

void Gecode::rel ( Space *  home,
BoolVar  x0,
BoolOpType  o,
BoolVar  x1,
BoolVar  x2,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for Boolean operation on x0 and x1.

Posts propagator for $ x_0 \diamond_{\mathit{o}} x_1 = x_2$

Definition at line 456 of file bool.cc.

void Gecode::rel ( Space *  home,
BoolVar  x0,
BoolOpType  o,
BoolVar  x1,
int  n,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for Boolean operation on x0 and x1.

Posts propagator for $ x_0 \diamond_{\mathit{o}} x_1 = n$

Throws an exception of type Int::NotZeroOne, if n is neither 0 or 1.

Definition at line 471 of file bool.cc.

void Gecode::rel ( Space *  home,
BoolOpType  o,
const BoolVarArgs &  x,
BoolVar  y,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for Boolean operation on x.

Posts propagator for $ x_0 \diamond_{\mathit{o}} \cdots \diamond_{\mathit{o}} x_{|x|-1}= y$

Throws an exception of type Int::TooFewArguments, if $|x|<2$ and o is BOT_IMP, BOT_EQV, or BOT_XOR.

Definition at line 552 of file bool.cc.

void Gecode::rel ( Space *  home,
BoolOpType  o,
const BoolVarArgs &  x,
int  n,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for Boolean operation on x.

Posts propagator for $ x_0 \diamond_{\mathit{o}} \cdots \diamond_{\mathit{o}} x_{|x|-1}= n$

Throws an exception of type Int::NotZeroOne, if n is neither 0 or 1.

Throws an exception of type Int::TooFewArguments, if $|x|<2$ and o is BOT_IMP, BOT_EQV, or BOT_XOR.

Definition at line 618 of file bool.cc.

void Gecode::rel ( Space *  home,
const BoolVarArgs &  x,
IntRelType  r,
int  n,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Propagates $ x_i \sim_r c $ for all $0\leq i<|x|$.

Propagates $ x_i \sim_r n $ for all $0\leq i<|x|$.

Throws an exception of type Int::NotZeroOne, if n is neither 0 or 1.

Definition at line 302 of file bool.cc.