Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
cardinality.cpp File Reference
#include <gecode/set.hh>
#include <gecode/set/int.hh>

Go to the source code of this file.

Functions

void Gecode::cardinality (Home home, SetVar x, unsigned int i, unsigned int j)
 Propagates $ i \leq |s| \leq j $. More...
 
void Gecode::cardinality (Home home, const SetVarArgs &x, unsigned int i, unsigned int j)
 Propagates $ i \leq |s| \leq j $ for all $0\leq i<|x|$. More...
 
void Gecode::cardinality (Home home, SetVar s, IntVar x)
 
void Gecode::cardinality (Home home, SetVar s, IntVar x, Reify r)
 

Function Documentation

◆ cardinality() [1/4]

void Gecode::cardinality ( Home  home,
SetVar  x,
unsigned int  i,
unsigned int  j 
)

Propagates $ i \leq |s| \leq j $.

Definition at line 44 of file cardinality.cpp.

◆ cardinality() [2/4]

void Gecode::cardinality ( Home  home,
const SetVarArgs x,
unsigned int  i,
unsigned int  j 
)

Propagates $ i \leq |s| \leq j $ for all $0\leq i<|x|$.

Definition at line 54 of file cardinality.cpp.

◆ cardinality() [3/4]

void Gecode::cardinality ( Home  home,
SetVar  s,
IntVar  x 
)

Definition at line 66 of file cardinality.cpp.

◆ cardinality() [4/4]

void Gecode::cardinality ( Home  home,
SetVar  s,
IntVar  x,
Reify  r 
)

Definition at line 72 of file cardinality.cpp.