Functions | |
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c) |
Post propagator for ![]() | |
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
Post propagator for ![]() | |
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatNum c, Reify r) |
Post propagator for ![]() | |
void | Gecode::linear (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r) |
Post propagator for ![]() | |
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum c) |
Post propagator for ![]() | |
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
Post propagator for ![]() | |
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatNum c, Reify r) |
Post propagator for ![]() | |
void | Gecode::linear (Home home, const FloatValArgs &a, const FloatVarArgs &x, FloatRelType frt, FloatVar y, Reify r) |
Post propagator for ![]() | |
void Gecode::linear | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatNum | c | ||
) |
Post propagator for .
Definition at line 45 of file linear.cpp.
void Gecode::linear | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatVar | y | ||
) |
Post propagator for .
Definition at line 103 of file linear.cpp.
void Gecode::linear | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatNum | c, | ||
Reify | r | ||
) |
Post propagator for .
Definition at line 58 of file linear.cpp.
void Gecode::linear | ( | Home | home, |
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatVar | y, | ||
Reify | r | ||
) |
Post propagator for .
Definition at line 133 of file linear.cpp.
void Gecode::linear | ( | Home | home, |
const FloatValArgs & | a, | ||
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatNum | c | ||
) |
Post propagator for .
Throws an exception of type Float::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 71 of file linear.cpp.
void Gecode::linear | ( | Home | home, |
const FloatValArgs & | a, | ||
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatVar | y | ||
) |
Post propagator for .
Throws an exception of type Float::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 147 of file linear.cpp.
void Gecode::linear | ( | Home | home, |
const FloatValArgs & | a, | ||
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatNum | c, | ||
Reify | r | ||
) |
Post propagator for .
Throws an exception of type Float::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 87 of file linear.cpp.
void Gecode::linear | ( | Home | home, |
const FloatValArgs & | a, | ||
const FloatVarArgs & | x, | ||
FloatRelType | frt, | ||
FloatVar | y, | ||
Reify | r | ||
) |
Post propagator for .
Throws an exception of type Float::ArgumentSizeMismatch, if a and x are of different size.
Definition at line 180 of file linear.cpp.