Generated on Mon Jul 6 18:09:22 2009 for Gecode by doxygen 1.5.9
gecode » int

element.cpp File Reference

(Revision: 8137)

#include <gecode/int/element.hh>

Go to the source code of this file.


Namespaces

namespace  Gecode
 Gecode toplevel namespace.

Functions

void Gecode::element (Space &home, const IntArgs &n, IntVar x0, IntVar x1, IntConLevel icl=ICL_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)
 Post propagator for $ n_{x_0}=x_1$.
void Gecode::element (Space &home, const IntArgs &n, IntVar x0, int x1, IntConLevel icl=ICL_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)
 Post propagator for $ x_{y_0}=y_1$.
void Gecode::element (Space &home, const IntVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_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)
 Post propagator for $ x_{y_0}=y_1$.