Arithmetic constraints
[Using finite domain integers]
Functions | |
void | Gecode::min (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::min (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::max (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::max (Home home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::abs (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::mult (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::sqr (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::sqrt (Home home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::divmod (Home home, IntVar x0, IntVar x1, IntVar x2, IntVar x3, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::div (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
Post propagator for . | |
void | Gecode::mod (Home home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF) |
Post propagator for . |
Function Documentation
void Gecode::min | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
void Gecode::min | ( | Home | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
If x is empty, an exception of type Int::TooFewArguments is thrown.
void Gecode::max | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
void Gecode::max | ( | Home | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
If x is empty, an exception of type Int::TooFewArguments is thrown.
void Gecode::abs | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
void Gecode::mult | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
void Gecode::sqr | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
void Gecode::sqrt | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
void Gecode::divmod | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntVar | x3, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports bounds consistency (icl = ICL_BND, default).
void Gecode::div | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports bounds consistency (icl = ICL_BND, default).
void Gecode::mod | ( | Home | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports bounds consistency (icl = ICL_BND, default).