Namespaces | |
namespace | Gecode |
Gecode toplevel namespace |
Linear expressions can be freely composed of sums and differences of integer variables (Gecode::IntVar) or Boolean variables (Gecode::BoolVar) possibly with integer coefficients and integer constants.
Note that both integer and Boolean variables are automatically available as linear expressions.
Linear relations are obtained from linear expressions with the normal relation operators.