Generated on Mon Feb 8 2021 00:00:00 for Gecode by doxygen 1.8.20

Namespaces

 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.