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 .
void Gecode::rel (Space *home, BoolVar x0, IntRelType r, BoolVar x1, BoolVar b, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
Post propagator for .
void Gecode::rel (Space *home, const BoolVarArgs &x, IntRelType r, BoolVar y, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
Post propagator for for all .
void Gecode::rel (Space *home, BoolVar x, IntRelType r, int n, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
Propagates .
void Gecode::rel (Space *home, BoolVar x, IntRelType r, int n, BoolVar b, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
Propagates .
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 for all .

## Function Documentation

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

Post propagator for .

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 .

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 for all .

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 .

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 .

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

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

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

Throws an exception of type Int::TooFewArguments, if 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

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

Throws an exception of type Int::TooFewArguments, if 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 for all .

Propagates for all .

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

Definition at line 302 of file bool.cc.