Generated on Mon Jul 6 18:09:24 2009 for Gecode by doxygen 1.5.9

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)
 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)
 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)
 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)
 Propagates $ x \sim_r n$.
void Gecode::rel (Space &home, BoolVar x, IntRelType r, int n, BoolVar b, IntConLevel icl=ICL_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)
 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)
 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)
 Post propagator for Boolean operation on x.
void Gecode::rel (Space &home, BoolOpType o, const BoolVarArgs &x, int n, IntConLevel icl=ICL_DEF)
 Post propagator for Boolean operation on x.
void Gecode::clause (Space &home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, BoolVar z, IntConLevel icl=ICL_DEF)
 Post propagator for Boolean clause with positive variables x and negative variables y.
void Gecode::clause (Space &home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, int n, IntConLevel icl=ICL_DEF)
 Post propagator for Boolean clause with positive variables x and negative variables y.
void Gecode::rel (Space &home, const IntVarArgs &x, IntRelType r, int c, IntConLevel icl=ICL_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   
)

Post propagator for $ x_0 \sim_r x_1$.

Definition at line 82 of file bool.cpp.

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

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

Definition at line 155 of file bool.cpp.

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

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

Definition at line 255 of file bool.cpp.

void Gecode::rel ( Space &  home,
BoolVar  x,
IntRelType  r,
int  n,
IntConLevel  icl = ICL_DEF 
)

Propagates $ x \sim_r n$.

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

Definition at line 115 of file bool.cpp.

void Gecode::rel ( Space &  home,
BoolVar  x,
IntRelType  r,
int  n,
BoolVar  b,
IntConLevel  icl = ICL_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 195 of file bool.cpp.

void Gecode::rel ( Space &  home,
BoolVar  x0,
BoolOpType  o,
BoolVar  x1,
BoolVar  x2,
IntConLevel  icl = ICL_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 455 of file bool.cpp.

void Gecode::rel ( Space &  home,
BoolVar  x0,
BoolOpType  o,
BoolVar  x1,
int  n,
IntConLevel  icl = ICL_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 470 of file bool.cpp.

void Gecode::rel ( Space &  home,
BoolOpType  o,
const BoolVarArgs &  x,
BoolVar  y,
IntConLevel  icl = ICL_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 551 of file bool.cpp.

void Gecode::rel ( Space &  home,
BoolOpType  o,
const BoolVarArgs &  x,
int  n,
IntConLevel  icl = ICL_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 619 of file bool.cpp.

void Gecode::clause ( Space &  home,
BoolOpType  o,
const BoolVarArgs &  x,
const BoolVarArgs &  y,
BoolVar  z,
IntConLevel  icl = ICL_DEF 
)

Post propagator for Boolean clause with positive variables x and negative variables y.

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

Throws an exception of type Int::IllegalOperation, if o is different from BOT_AND or BOT_OR.

Definition at line 746 of file bool.cpp.

void Gecode::clause ( Space &  home,
BoolOpType  o,
const BoolVarArgs &  x,
const BoolVarArgs &  y,
int  n,
IntConLevel  icl = ICL_DEF 
)

Post propagator for Boolean clause with positive variables x and negative variables y.

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

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

Throws an exception of type Int::IllegalOperation, if o is different from BOT_AND or BOT_OR.

Definition at line 695 of file bool.cpp.

void Gecode::rel ( Space &  home,
const BoolVarArgs &  x,
IntRelType  r,
int  n,
IntConLevel  icl = ICL_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 301 of file bool.cpp.