Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
int-expr.cpp File Reference

Go to the source code of this file.

Classes

class  Gecode::LinIntExpr::Node
 Nodes for linear expressions. More...
 

Namespaces

namespace  Gecode
 Gecode toplevel namespace
 

Functions

LinIntExpr Gecode::operator+ (int, const IntVar &)
 Construct linear expression as sum of integer variable and integer.
 
LinIntExpr Gecode::operator+ (int, const BoolVar &)
 Construct linear expression as sum of Boolean variable and integer.
 
LinIntExpr Gecode::operator+ (int, const LinIntExpr &)
 Construct linear expression as sum of linear expression and integer.
 
LinIntExpr Gecode::operator+ (const IntVar &, int)
 Construct linear expression as sum of integer variable and integer.
 
LinIntExpr Gecode::operator+ (const BoolVar &, int)
 Construct linear expression as sum of Boolean variable and integer.
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, int)
 Construct linear expression as sum of linear expression and integer.
 
LinIntExpr Gecode::operator+ (const IntVar &, const IntVar &)
 Construct linear expression as sum of integer variables.
 
LinIntExpr Gecode::operator+ (const IntVar &, const BoolVar &)
 Construct linear expression as sum of integer and Boolean variable.
 
LinIntExpr Gecode::operator+ (const BoolVar &, const IntVar &)
 Construct linear expression as sum of Boolean and integer variable.
 
LinIntExpr Gecode::operator+ (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of Boolean variables.
 
LinIntExpr Gecode::operator+ (const IntVar &, const LinIntExpr &)
 Construct linear expression as sum of integer variable and linear expression.
 
LinIntExpr Gecode::operator+ (const BoolVar &, const LinIntExpr &)
 Construct linear expression as sum of Boolean variable and linear expression.
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, const IntVar &)
 Construct linear expression as sum of linear expression and integer variable.
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, const BoolVar &)
 Construct linear expression as sum of linear expression and Boolean variable.
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, const LinIntExpr &)
 Construct linear expression as sum of linear expressions.
 
LinIntExpr Gecode::operator- (int, const IntVar &)
 Construct linear expression as sum of integer variable and integer.
 
LinIntExpr Gecode::operator- (int, const BoolVar &)
 Construct linear expression as sum of Boolean variable and integer.
 
LinIntExpr Gecode::operator- (int, const LinIntExpr &)
 Construct linear expression as sum of integer and linear expression.
 
LinIntExpr Gecode::operator- (const IntVar &, int)
 Construct linear expression as sum of integer variable and integer.
 
LinIntExpr Gecode::operator- (const BoolVar &, int)
 Construct linear expression as sum of Boolean variable and integer.
 
LinIntExpr Gecode::operator- (const LinIntExpr &, int)
 Construct linear expression as sum of linear expression and integer.
 
LinIntExpr Gecode::operator- (const IntVar &, const IntVar &)
 Construct linear expression as sum of integer variables.
 
LinIntExpr Gecode::operator- (const IntVar &, const BoolVar &)
 Construct linear expression as sum of integer and Boolean variable.
 
LinIntExpr Gecode::operator- (const BoolVar &, const IntVar &)
 Construct linear expression as sum of Boolean and integer variable.
 
LinIntExpr Gecode::operator- (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of Boolean variables.
 
LinIntExpr Gecode::operator- (const IntVar &, const LinIntExpr &)
 Construct linear expression as sum of integer variable and linear expression.
 
LinIntExpr Gecode::operator- (const BoolVar &, const LinIntExpr &)
 Construct linear expression as sum of Boolean variable and linear expression.
 
LinIntExpr Gecode::operator- (const LinIntExpr &, const IntVar &)
 Construct linear expression as sum of linear expression and integer variable.
 
LinIntExpr Gecode::operator- (const LinIntExpr &, const BoolVar &)
 Construct linear expression as sum of linear expression and Boolean variable.
 
LinIntExpr Gecode::operator- (const LinIntExpr &, const LinIntExpr &)
 Construct linear expression as sum of linear expressions.
 
LinIntExpr Gecode::operator- (const IntVar &)
 Construct linear expression as negative of integer variable.
 
LinIntExpr Gecode::operator- (const BoolVar &)
 Construct linear expression as negative of Boolean variable.
 
LinIntExpr Gecode::operator- (const LinIntExpr &)
 Construct linear expression as negative of linear expression.
 
LinIntExpr Gecode::operator* (int, const IntVar &)
 Construct linear expression as product of integer coefficient and integer variable.
 
LinIntExpr Gecode::operator* (int, const BoolVar &)
 Construct linear expression as product of integer coefficient and Boolean variable.
 
LinIntExpr Gecode::operator* (const IntVar &, int)
 Construct linear expression as product of integer coefficient and integer variable.
 
LinIntExpr Gecode::operator* (const BoolVar &, int)
 Construct linear expression as product of integer coefficient and Boolean variable.
 
LinIntExpr Gecode::operator* (const LinIntExpr &, int)
 Construct linear expression as product of integer coefficient and linear expression.
 
LinIntExpr Gecode::operator* (int, const LinIntExpr &)
 Construct linear expression as product of integer coefficient and linear expression.
 
LinIntExpr Gecode::sum (const IntVarArgs &x)
 Construct linear expression as sum of integer variables.
 
LinIntExpr Gecode::sum (const IntArgs &a, const IntVarArgs &x)
 Construct linear expression as sum of integer variables with coefficients.
 
LinIntExpr Gecode::sum (const BoolVarArgs &x)
 Construct linear expression as sum of Boolean variables.
 
LinIntExpr Gecode::sum (const IntArgs &a, const BoolVarArgs &x)
 Construct linear expression as sum of Boolean variables with coefficients.
 
LinIntExpr Gecode::sum (const Slice< IntArgs > &slice)
 Construct linear expression as sum of IntArgs Slice elements.
 
LinIntExpr Gecode::sum (const Matrix< IntArgs > &matrix)
 Construct linear expression as sum of IntArgs Matrix elements.
 
LinIntExpr Gecode::sum (const IntArgs &args)
 Construct linear expression as sum of IntArgs.
 
IntVar Gecode::expr (Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
 Post linear expression and return its value.