Generated on Thu Mar 22 10:39:49 2012 for Gecode by doxygen 1.6.3

Aliases for integer constraints
[Direct modeling support]

Functions

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

Detailed Description

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


Function Documentation

void Gecode::atmost ( Home  home,
const IntVarArgs &  x,
int  n,
int  m,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1351 of file minimodel.hh.

void Gecode::atmost ( Home  home,
const IntVarArgs &  x,
IntVar  y,
int  m,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1360 of file minimodel.hh.

void Gecode::atmost ( Home  home,
const IntVarArgs &  x,
const IntArgs &  y,
int  m,
IntConLevel  icl = ICL_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 1372 of file minimodel.hh.

void Gecode::atmost ( Home  home,
const IntVarArgs &  x,
int  n,
IntVar  z,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1381 of file minimodel.hh.

void Gecode::atmost ( Home  home,
const IntVarArgs &  x,
IntVar  y,
IntVar  z,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1390 of file minimodel.hh.

void Gecode::atmost ( Home  home,
const IntVarArgs &  x,
const IntArgs &  y,
IntVar  z,
IntConLevel  icl = ICL_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 1402 of file minimodel.hh.

void Gecode::atleast ( Home  home,
const IntVarArgs &  x,
int  n,
int  m,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1412 of file minimodel.hh.

void Gecode::atleast ( Home  home,
const IntVarArgs &  x,
IntVar  y,
int  m,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1421 of file minimodel.hh.

void Gecode::atleast ( Home  home,
const IntVarArgs &  x,
const IntArgs &  y,
int  m,
IntConLevel  icl = ICL_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 1433 of file minimodel.hh.

void Gecode::atleast ( Home  home,
const IntVarArgs &  x,
int  n,
IntVar  z,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1442 of file minimodel.hh.

void Gecode::atleast ( Home  home,
const IntVarArgs &  x,
IntVar  y,
IntVar  z,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1451 of file minimodel.hh.

void Gecode::atleast ( Home  home,
const IntVarArgs &  x,
const IntArgs &  y,
IntVar  z,
IntConLevel  icl = ICL_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 1463 of file minimodel.hh.

void Gecode::exactly ( Home  home,
const IntVarArgs &  x,
int  n,
int  m,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1473 of file minimodel.hh.

void Gecode::exactly ( Home  home,
const IntVarArgs &  x,
IntVar  y,
int  m,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1482 of file minimodel.hh.

void Gecode::exactly ( Home  home,
const IntVarArgs &  x,
const IntArgs &  y,
int  m,
IntConLevel  icl = ICL_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 1494 of file minimodel.hh.

void Gecode::exactly ( Home  home,
const IntVarArgs &  x,
int  n,
IntVar  z,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1503 of file minimodel.hh.

void Gecode::exactly ( Home  home,
const IntVarArgs &  x,
IntVar  y,
IntVar  z,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Supports domain consistent propagation only.

Definition at line 1512 of file minimodel.hh.

void Gecode::exactly ( Home  home,
const IntVarArgs &  x,
const IntArgs &  y,
IntVar  z,
IntConLevel  icl = ICL_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 1524 of file minimodel.hh.

void Gecode::lex ( Home  home,
const IntVarArgs &  x,
IntRelType  r,
const IntVarArgs &  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Post lexical order between x and y.

Definition at line 1531 of file minimodel.hh.

void Gecode::lex ( Home  home,
const BoolVarArgs &  x,
IntRelType  r,
const BoolVarArgs &  y,
IntConLevel  icl = ICL_DEF 
) [inline]

Post lexical order between x and y.

Definition at line 1538 of file minimodel.hh.

void Gecode::values ( Home  home,
const IntVarArgs &  x,
IntSet  y,
IntConLevel  icl = ICL_DEF 
) [inline]

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

Definition at line 1545 of file minimodel.hh.