Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
bool.cpp File Reference

(Revision: 13590)

#include <gecode/int/bool.hh>
#include <gecode/int/rel.hh>

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 

Functions

void Gecode::rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for $ x_0 \sim_{irt} x_1$. More...
 
void Gecode::rel (Home home, BoolVar x, IntRelType irt, int n, IntConLevel icl=ICL_DEF)
 Propagates $ x \sim_{irt} n$. More...
 
void Gecode::rel (Home home, BoolVar x0, IntRelType irt, BoolVar x1, Reify r, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for $(x_0 \sim_{irt} x_1)\equiv r$. More...
 
void Gecode::rel (Home home, BoolVar x, IntRelType irt, int n, Reify r, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for $(x \sim_{irt} n)\equiv r$. More...
 
void Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, BoolVar y, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for $ x_i \sim_{irt} y $ for all $0\leq i<|x|$. More...
 
void Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, int n, IntConLevel icl=ICL_DEF)
 Propagates $ x_i \sim_{irt} n $ for all $0\leq i<|x|$. More...
 
void Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for relation between elements in x. More...
 
void Gecode::rel (Home home, const BoolVarArgs &x, IntRelType irt, const BoolVarArgs &y, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for relation between x and y. More...
 
void Gecode::rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, BoolVar x2, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for Boolean operation on x0 and x1. More...
 
void Gecode::rel (Home home, BoolVar x0, BoolOpType o, BoolVar x1, int n, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for Boolean operation on x0 and x1. More...
 
void Gecode::rel (Home home, BoolOpType o, const BoolVarArgs &x, BoolVar y, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for Boolean operation on x. More...
 
void Gecode::rel (Home home, BoolOpType o, const BoolVarArgs &x, int n, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for Boolean operation on x. More...
 
void Gecode::clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, int n, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for Boolean clause with positive variables x and negative variables y. More...
 
void Gecode::clause (Home home, BoolOpType o, const BoolVarArgs &x, const BoolVarArgs &y, BoolVar z, IntConLevel icl=ICL_DEF)
 Post domain consistent propagator for Boolean clause with positive variables x and negative variables y. More...
 
void Gecode::ite (Home home, BoolVar b, IntVar x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF)
 Post propagator for if-then-else constraint. More...