Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6
gecode » int

element.cc File Reference

(Revision: 6103)

#include "gecode/int/element.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode

Functions

void Gecode::element (Space *home, const IntArgs &n, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ n_{x_0}=x_1$.
void Gecode::element (Space *home, const IntArgs &n, IntVar x0, BoolVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ n_{x_0}=x_1$.
void Gecode::element (Space *home, const IntArgs &n, IntVar x0, int x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ n_{x_0}=x_1$.
void Gecode::element (Space *home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_{y_0}=y_1$.
void Gecode::element (Space *home, const IntVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_{y_0}=y_1$.
void Gecode::element (Space *home, const BoolVarArgs &x, IntVar y0, BoolVar y1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_{y_0}=y_1$.