Generated on Sat Jul 29 2017 12:41:24 for Gecode by doxygen 1.8.13

Functions

void Gecode::atmost (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq m$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq m$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq m$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq z$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq z$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq z$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq m$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq m$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq m$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq z$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq z$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq z$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=m$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=m$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=m$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=z$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=z$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=z$. More...
 
void Gecode::lex (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF)
 Post lexical order between x and y. More...
 
void Gecode::lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF)
 Post lexical order between x and y. More...
 
void Gecode::values (Home home, const IntVarArgs &x, IntSet y, IntPropLevel ipl=IPL_DEF)
 Post constraint $\{x_0,\dots,x_{n-1}\}=y$. More...
 

Detailed Description

Contains definitions of common constraints which have different names in Gecode.

Function Documentation

◆ atmost() [1/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
int  n,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq m$.

Supports domain consistent propagation only.

Definition at line 1674 of file minimodel.hh.

◆ atmost() [2/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
IntVar  y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq m$.

Supports domain consistent propagation only.

Definition at line 1683 of file minimodel.hh.

◆ atmost() [3/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
const IntArgs y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq m$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 1695 of file minimodel.hh.

◆ atmost() [4/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
int  n,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq z$.

Supports domain consistent propagation only.

Definition at line 1704 of file minimodel.hh.

◆ atmost() [5/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
IntVar  y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq z$.

Supports domain consistent propagation only.

Definition at line 1713 of file minimodel.hh.

◆ atmost() [6/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
const IntArgs y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq z$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 1725 of file minimodel.hh.

◆ atleast() [1/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
int  n,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq m$.

Supports domain consistent propagation only.

Definition at line 1735 of file minimodel.hh.

◆ atleast() [2/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
IntVar  y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq m$.

Supports domain consistent propagation only.

Definition at line 1744 of file minimodel.hh.

◆ atleast() [3/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
const IntArgs y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq m$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 1756 of file minimodel.hh.

◆ atleast() [4/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
int  n,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq z$.

Supports domain consistent propagation only.

Definition at line 1765 of file minimodel.hh.

◆ atleast() [5/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
IntVar  y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq z$.

Supports domain consistent propagation only.

Definition at line 1774 of file minimodel.hh.

◆ atleast() [6/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
const IntArgs y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq z$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 1786 of file minimodel.hh.

◆ exactly() [1/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
int  n,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=m$.

Supports domain consistent propagation only.

Definition at line 1796 of file minimodel.hh.

◆ exactly() [2/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
IntVar  y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=m$.

Supports domain consistent propagation only.

Definition at line 1805 of file minimodel.hh.

◆ exactly() [3/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
const IntArgs y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=m$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 1817 of file minimodel.hh.

◆ exactly() [4/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
int  n,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=z$.

Supports domain consistent propagation only.

Definition at line 1826 of file minimodel.hh.

◆ exactly() [5/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
IntVar  y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=z$.

Supports domain consistent propagation only.

Definition at line 1835 of file minimodel.hh.

◆ exactly() [6/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
const IntArgs y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=z$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 1847 of file minimodel.hh.

◆ lex() [1/2]

void Gecode::lex ( Home  home,
const IntVarArgs x,
IntRelType  r,
const IntVarArgs y,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post lexical order between x and y.

Definition at line 1854 of file minimodel.hh.

◆ lex() [2/2]

void Gecode::lex ( Home  home,
const BoolVarArgs x,
IntRelType  r,
const BoolVarArgs y,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post lexical order between x and y.

Definition at line 1861 of file minimodel.hh.

◆ values()

void Gecode::values ( Home  home,
const IntVarArgs x,
IntSet  y,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\{x_0,\dots,x_{n-1}\}=y$.

Definition at line 1868 of file minimodel.hh.