Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.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.