Arithmetic constraints
[Using finite domain integers]
Functions | |
void | Gecode::min (Space *home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::min (Space *home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::max (Space *home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::max (Space *home, const IntVarArgs &x, IntVar y, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::abs (Space *home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::mult (Space *home, IntVar x0, IntVar x1, IntVar x2, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::sqr (Space *home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::sqrt (Space *home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() |
Function Documentation
void Gecode::min | ( | Space * | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported.
Definition at line 75 of file arithmetic.cc.
void Gecode::min | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported.
Definition at line 82 of file arithmetic.cc.
void Gecode::max | ( | Space * | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported. If x is empty, an exception of type Int::TooFewArguments is thrown.
Definition at line 59 of file arithmetic.cc.
void Gecode::max | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported. If x is empty, an exception of type Int::TooFewArguments is thrown.
Definition at line 65 of file arithmetic.cc.
void Gecode::abs | ( | Space * | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported.
Definition at line 45 of file arithmetic.cc.
void Gecode::mult | ( | Space * | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntVar | x2, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported.
Definition at line 95 of file arithmetic.cc.
void Gecode::sqr | ( | Space * | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported.
Definition at line 102 of file arithmetic.cc.
void Gecode::sqrt | ( | Space * | home, | |
IntVar | x0, | |||
IntVar | x1, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) |
Post propagator for .
Only bounds-consistency is supported.
Definition at line 108 of file arithmetic.cc.