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, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
void | Gecode::element (Home home, IntSharedArray n, IntVar x0, BoolVar x1, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
void | Gecode::element (Home home, IntSharedArray n, IntVar x0, int x1, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
void | Gecode::element (Home home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::element (Home home, const IntVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::element (Home home, const BoolVarArgs &x, IntVar y0, BoolVar y1, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
void | Gecode::element (Home home, const BoolVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
void | Gecode::element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, IntVar z, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
void | Gecode::element (Home home, IntSharedArray a, IntVar x, int w, IntVar y, int h, BoolVar z, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
void | Gecode::element (Home home, const IntVarArgs &a, IntVar x, int w, IntVar y, int h, IntVar z, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::element (Home home, const BoolVarArgs &a, IntVar x, int w, IntVar y, int h, BoolVar z, IntConLevel icl=ICL_DEF) |
Post domain consistent propagator for ![]() | |
typedef SharedArray<int> Gecode::IntSharedArray |
void Gecode::element | ( | Home | home, |
IntSharedArray | n, | ||
IntVar | x0, | ||
IntVar | x1, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post domain consistent propagator for .
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.
void Gecode::element | ( | Home | home, |
IntSharedArray | n, | ||
IntVar | x0, | ||
BoolVar | x1, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post domain consistent propagator for .
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.
void Gecode::element | ( | Home | home, |
IntSharedArray | n, | ||
IntVar | x0, | ||
int | x1, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post domain consistent propagator for .
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.
void Gecode::element | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y0, | ||
IntVar | y1, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for .
Supports both bounds (icl = ICL_BND) and domain consistency (icl = ICL_DOM, default).
Definition at line 82 of file element.cpp.
void Gecode::element | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y0, | ||
int | y1, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for .
Supports both bounds (icl = ICL_BND) and domain consistency (icl = ICL_DOM, default).
Definition at line 99 of file element.cpp.
void Gecode::element | ( | Home | home, |
const BoolVarArgs & | c, | ||
IntVar | x0, | ||
BoolVar | x1, | ||
IntConLevel | |||
) |
Post domain consistent propagator for .
Definition at line 118 of file element.cpp.
void Gecode::element | ( | Home | home, |
const BoolVarArgs & | c, | ||
IntVar | x0, | ||
int | x1, | ||
IntConLevel | |||
) |
Post domain consistent propagator for .
Definition at line 130 of file element.cpp.
void Gecode::element | ( | Home | home, |
IntSharedArray | a, | ||
IntVar | x, | ||
int | w, | ||
IntVar | y, | ||
int | h, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post domain consistent propagator for .
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 .
Definition at line 154 of file element.cpp.
void Gecode::element | ( | Home | home, |
IntSharedArray | a, | ||
IntVar | x, | ||
int | w, | ||
IntVar | y, | ||
int | h, | ||
BoolVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post domain consistent propagator for .
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 .
Definition at line 165 of file element.cpp.
void Gecode::element | ( | Home | home, |
const IntVarArgs & | a, | ||
IntVar | x, | ||
int | w, | ||
IntVar | y, | ||
int | h, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for .
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 (icl = ICL_BND) and domain consistency (icl = ICL_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 .
Definition at line 176 of file element.cpp.
void Gecode::element | ( | Home | home, |
const BoolVarArgs & | a, | ||
IntVar | x, | ||
int | w, | ||
IntVar | y, | ||
int | h, | ||
BoolVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post domain consistent propagator for .
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 .
Definition at line 187 of file element.cpp.