Generated on Mon May 5 05:54:08 2008 for Gecode by doxygen 1.5.5

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, 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 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,
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 116 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 162 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 365 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 380 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{op}} 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 461 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{op}} 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 527 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 202 of file bool.cc.