int-expr.cpp File Reference
(Revision: 13982)
#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, IntConLevel icl=ICL_DEF) |
Post linear expression and return its value. |