Arithmetic functions
[Direct modeling support]
Functions | |
IntVar | Gecode::abs (Home home, IntVar x, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::min (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::min (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::max (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::max (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::mult (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::div (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::mod (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::sqr (Home home, IntVar x, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::sqrt (Home home, IntVar x, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::plus (Home home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF) |
Return variable constrained to ![]() | |
IntVar | Gecode::minus (Home home, IntVar x, IntVar y, IntConLevel icl) |
Function Documentation
IntVar Gecode::abs | ( | Home | home, | |
IntVar | x, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::min | ( | Home | home, | |
IntVar | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::min | ( | Home | home, | |
const IntVarArgs & | x, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::max | ( | Home | home, | |
IntVar | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::max | ( | Home | home, | |
const IntVarArgs & | x, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::mult | ( | Home | home, | |
IntVar | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::div | ( | Home | home, | |
IntVar | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports bounds consistency (icl = ICL_BND, default).
IntVar Gecode::mod | ( | Home | home, | |
IntVar | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports bounds consistency (icl = ICL_BND, default).
IntVar Gecode::sqr | ( | Home | home, | |
IntVar | x, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::sqrt | ( | Home | home, | |
IntVar | x, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::plus | ( | Home | home, | |
IntVar | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to .
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).
IntVar Gecode::minus | ( | Home | home, | |
IntVar | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Return variable constrained to
Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).