Generated on Wed Mar 19 07:30:05 2008 for Gecode by doxygen 1.5.5

Aliases for integer constraints
[Direct modelling]


Detailed Description

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


Functions

void Gecode::atmost (Space *home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq m$.
void Gecode::atmost (Space *home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq m$.
void Gecode::atmost (Space *home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq m$.
void Gecode::atmost (Space *home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq z$.
void Gecode::atmost (Space *home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq z$.
void Gecode::atmost (Space *home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq z$.
void Gecode::atleast (Space *home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq m$.
void Gecode::atleast (Space *home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq m$.
void Gecode::atleast (Space *home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq m$.
void Gecode::atleast (Space *home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq z$.
void Gecode::atleast (Space *home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq z$.
void Gecode::atleast (Space *home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq z$.
void Gecode::exactly (Space *home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=m$.
void Gecode::exactly (Space *home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=m$.
void Gecode::exactly (Space *home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=m$.
void Gecode::exactly (Space *home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=z$.
void Gecode::exactly (Space *home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=z$.
void Gecode::exactly (Space *home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=z$.
void Gecode::lex (Space *home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for lexical order between x and y.


Function Documentation

void Gecode::atmost ( Space *  home,
const IntVarArgs &  x,
int  n,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 831 of file minimodel.hh.

void Gecode::atmost ( Space *  home,
const IntVarArgs &  x,
IntVar  y,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 840 of file minimodel.hh.

void Gecode::atmost ( Space *  home,
const IntVarArgs &  x,
const IntArgs &  y,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Post propagator for $\#\{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 852 of file minimodel.hh.

void Gecode::atmost ( Space *  home,
const IntVarArgs &  x,
int  n,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 861 of file minimodel.hh.

void Gecode::atmost ( Space *  home,
const IntVarArgs &  x,
IntVar  y,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 870 of file minimodel.hh.

void Gecode::atmost ( Space *  home,
const IntVarArgs &  x,
const IntArgs &  y,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Post propagator for $\#\{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 882 of file minimodel.hh.

void Gecode::atleast ( Space *  home,
const IntVarArgs &  x,
int  n,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 892 of file minimodel.hh.

void Gecode::atleast ( Space *  home,
const IntVarArgs &  x,
IntVar  y,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 901 of file minimodel.hh.

void Gecode::atleast ( Space *  home,
const IntVarArgs &  x,
const IntArgs &  y,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Post propagator for $\#\{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 913 of file minimodel.hh.

void Gecode::atleast ( Space *  home,
const IntVarArgs &  x,
int  n,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 922 of file minimodel.hh.

void Gecode::atleast ( Space *  home,
const IntVarArgs &  x,
IntVar  y,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 931 of file minimodel.hh.

void Gecode::atleast ( Space *  home,
const IntVarArgs &  x,
const IntArgs &  y,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Post propagator for $\#\{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 943 of file minimodel.hh.

void Gecode::exactly ( Space *  home,
const IntVarArgs &  x,
int  n,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 953 of file minimodel.hh.

void Gecode::exactly ( Space *  home,
const IntVarArgs &  x,
IntVar  y,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 962 of file minimodel.hh.

void Gecode::exactly ( Space *  home,
const IntVarArgs &  x,
const IntArgs &  y,
int  m,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Post propagator for $\#\{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 974 of file minimodel.hh.

void Gecode::exactly ( Space *  home,
const IntVarArgs &  x,
int  n,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 983 of file minimodel.hh.

void Gecode::exactly ( Space *  home,
const IntVarArgs &  x,
IntVar  y,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

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

Supports domain-consistent propagation only.

Definition at line 992 of file minimodel.hh.

void Gecode::exactly ( Space *  home,
const IntVarArgs &  x,
const IntArgs &  y,
IntVar  z,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Post propagator for $\#\{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 1004 of file minimodel.hh.

void Gecode::lex ( Space *  home,
const IntVarArgs &  x,
IntRelType  r,
const IntVarArgs &  y,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
) [inline]

Post propagator for lexical order between x and y.

Definition at line 1014 of file minimodel.hh.