Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13

Typedefs

typedef SharedArray< int > Gecode::IntSharedArray
 Arrays of integers that can be shared among several element constraints. More...
 

Functions

void Gecode::element (Home home, IntSharedArray n, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ n_{x_0}=x_1$. More...
 
void Gecode::element (Home home, IntSharedArray n, IntVar x0, BoolVar x1, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ n_{x_0}=x_1$. More...
 
void Gecode::element (Home home, IntSharedArray n, IntVar x0, int x1, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ n_{x_0}=x_1$. More...
 
void Gecode::element (Home home, const IntVarArgs &x, IntVar y0, IntVar y1, IntPropLevel ipl=IPL_DEF)
 Post propagator for $ x_{y_0}=y_1$. More...
 
void Gecode::element (Home home, const IntVarArgs &x, IntVar y0, int y1, IntPropLevel ipl=IPL_DEF)
 Post propagator for $ x_{y_0}=y_1$. More...
 
void Gecode::element (Home home, const BoolVarArgs &x, IntVar y0, BoolVar y1, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ x_{y_0}=y_1$. More...
 
void Gecode::element (Home home, const BoolVarArgs &x, IntVar y0, int y1, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ x_{y_0}=y_1$. More...
 
void Gecode::element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ a_{x+w\cdot y}=z$. More...
 
void Gecode::element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, BoolVar z, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ a_{x+w\cdot y}=z$. More...
 
void Gecode::element (Home home, const IntVarArgs &a, IntVar x, int w, IntVar y, int h, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post propagator for $ a_{x+w\cdot y}=z$. More...
 
void Gecode::element (Home home, const BoolVarArgs &a, IntVar x, int w, IntVar y, int h, BoolVar z, IntPropLevel ipl=IPL_DEF)
 Post domain consistent propagator for $ a_{x+w\cdot y}=z$. More...
 

Detailed Description

Typedef Documentation

◆ IntSharedArray

Arrays of integers that can be shared among several element constraints.

Definition at line 1455 of file int.hh.

Function Documentation

◆ element() [1/11]

void Gecode::element ( Home  home,
IntSharedArray  n,
IntVar  x0,
IntVar  x1,
IntPropLevel  ipl = IPL_DEF 
)

Post domain consistent propagator for $ n_{x_0}=x_1$.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Definition at line 43 of file element.cpp.

◆ element() [2/11]

void Gecode::element ( Home  home,
IntSharedArray  n,
IntVar  x0,
BoolVar  x1,
IntPropLevel  ipl = IPL_DEF 
)

Post domain consistent propagator for $ n_{x_0}=x_1$.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Definition at line 55 of file element.cpp.

◆ element() [3/11]

void Gecode::element ( Home  home,
IntSharedArray  n,
IntVar  x0,
int  x1,
IntPropLevel  ipl = IPL_DEF 
)

Post domain consistent propagator for $ n_{x_0}=x_1$.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Definition at line 67 of file element.cpp.

◆ element() [4/11]

void Gecode::element ( Home  home,
const IntVarArgs x,
IntVar  y0,
IntVar  y1,
IntPropLevel  ipl = IPL_DEF 
)

Post propagator for $ x_{y_0}=y_1$.

Supports both bounds (ipl = IPL_BND) and domain consistency (ipl = IPL_DOM, default).

Definition at line 82 of file element.cpp.

◆ element() [5/11]

void Gecode::element ( Home  home,
const IntVarArgs x,
IntVar  y0,
int  y1,
IntPropLevel  ipl = IPL_DEF 
)

Post propagator for $ x_{y_0}=y_1$.

Supports both bounds (ipl = IPL_BND) and domain consistency (ipl = IPL_DOM, default).

Definition at line 99 of file element.cpp.

◆ element() [6/11]

void Gecode::element ( Home  home,
const BoolVarArgs c,
IntVar  x0,
BoolVar  x1,
IntPropLevel   
)

Post domain consistent propagator for $ x_{y_0}=y_1$.

Definition at line 118 of file element.cpp.

◆ element() [7/11]

void Gecode::element ( Home  home,
const BoolVarArgs c,
IntVar  x0,
int  x1,
IntPropLevel   
)

Post domain consistent propagator for $ x_{y_0}=y_1$.

Definition at line 130 of file element.cpp.

◆ element() [8/11]

void Gecode::element ( Home  home,
IntSharedArray  a,
IntVar  x,
int  w,
IntVar  y,
int  h,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)

Post domain consistent propagator for $ a_{x+w\cdot y}=z$.

If a is regarded as a two-dimensional array in row-major order of width w and height h, then z is constrained to be the element in column x and row y.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Throws an exception of type Int::ArgumentSizeMismatch, if $ w\cdot h\neq|a|$.

Definition at line 154 of file element.cpp.

◆ element() [9/11]

void Gecode::element ( Home  home,
IntSharedArray  a,
IntVar  x,
int  w,
IntVar  y,
int  h,
BoolVar  z,
IntPropLevel  ipl = IPL_DEF 
)

Post domain consistent propagator for $ a_{x+w\cdot y}=z$.

If a is regarded as a two-dimensional array in row-major order of width w and height h, then z is constrained to be the element in column x and row y.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Throws an exception of type Int::ArgumentSizeMismatch, if $ w\cdot h\neq|a|$.

Definition at line 165 of file element.cpp.

◆ element() [10/11]

void Gecode::element ( Home  home,
const IntVarArgs a,
IntVar  x,
int  w,
IntVar  y,
int  h,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)

Post propagator for $ a_{x+w\cdot y}=z$.

If a is regarded as a two-dimensional array in row-major order of width w and height h, then z is constrained to be the element in column x and row y.

Supports both bounds (ipl = IPL_BND) and domain consistency (ipl = IPL_DOM, default).

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Throws an exception of type Int::ArgumentSizeMismatch, if $ w\cdot h\neq|a|$.

Definition at line 176 of file element.cpp.

◆ element() [11/11]

void Gecode::element ( Home  home,
const BoolVarArgs a,
IntVar  x,
int  w,
IntVar  y,
int  h,
BoolVar  z,
IntPropLevel  ipl = IPL_DEF 
)

Post domain consistent propagator for $ a_{x+w\cdot y}=z$.

If a is regarded as a two-dimensional array in row-major order of width w and height h, then z is constrained to be the element in column x and row y.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Throws an exception of type Int::ArgumentSizeMismatch, if $ w\cdot h\neq|a|$.

Definition at line 187 of file element.cpp.