Generated on Thu Apr 11 13:59:30 2019 for Gecode by doxygen 1.6.3

int-expr.cpp File Reference

#include <gecode/minimodel.hh>
#include <gecode/int/linear.hh>

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.