Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

Namespaces

namespace  Gecode
 Gecode toplevel namespace

Detailed Description

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.