Generated on Thu Jan 20 2022 00:00:00 for Gecode by doxygen 1.9.1
nvalues.cpp File Reference

Go to the source code of this file.

Functions

void Gecode::nvalues (Home home, const IntVarArgs &x, IntRelType irt, int y, IntPropLevel ipl=IPL_DEF)
 Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$. More...
 
void Gecode::nvalues (Home home, const IntVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF)
 Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$. More...
 
void Gecode::nvalues (Home home, const BoolVarArgs &x, IntRelType irt, int y, IntPropLevel ipl=IPL_DEF)
 Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$. More...
 
void Gecode::nvalues (Home home, const BoolVarArgs &x, IntRelType irt, IntVar y, IntPropLevel ipl=IPL_DEF)
 Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$. More...
 

Function Documentation

◆ nvalues() [1/4]

void Gecode::nvalues ( Home  home,
const IntVarArgs x,
IntRelType  irt,
int  y,
IntPropLevel   
)

Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$.

Definition at line 40 of file nvalues.cpp.

◆ nvalues() [2/4]

void Gecode::nvalues ( Home  home,
const IntVarArgs x,
IntRelType  irt,
IntVar  y,
IntPropLevel   
)

Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$.

Definition at line 90 of file nvalues.cpp.

◆ nvalues() [3/4]

void Gecode::nvalues ( Home  home,
const BoolVarArgs x,
IntRelType  irt,
int  y,
IntPropLevel   
)

Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$.

Definition at line 141 of file nvalues.cpp.

◆ nvalues() [4/4]

void Gecode::nvalues ( Home  home,
const BoolVarArgs x,
IntRelType  irt,
IntVar  y,
IntPropLevel   
)

Post propagator for $\#\{x_0,\ldots,x_{|x|-1}\}\sim_{irt} y$.

Definition at line 189 of file nvalues.cpp.