member.cpp File Reference

#include <gecode/int/member.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace

Functions
void	Gecode::member (Home home, const IntVarArgs &x, IntVar y, IntPropLevel ipl=IPL_DEF)
	Post domain consistent propagator for \(y\in \{x_0,\ldots,x_{|x|-1}\}\).
void	Gecode::member (Home home, const BoolVarArgs &x, BoolVar y, IntPropLevel ipl=IPL_DEF)
	Post domain consistent propagator for \(y\in \{x_0,\ldots,x_{|x|-1}\}\).
void	Gecode::member (Home home, const IntVarArgs &x, IntVar y, Reify r, IntPropLevel ipl=IPL_DEF)
	Post domain consistent propagator for \(\left(y\in \{x_0,\ldots,x_{|x|-1}\}\right)\equiv r\).
void	Gecode::member (Home home, const BoolVarArgs &x, BoolVar y, Reify r, IntPropLevel ipl=IPL_DEF)
	Post domain consistent propagator for \(\left(y\in \{x_0,\ldots,x_{|x|-1}\}\right)\equiv r\).