Generated on Sat Apr 10 2021 00:00:00 for Gecode by doxygen 1.9.1
minimodel.hh File Reference

Go to the source code of this file.

Classes

class  Gecode::IntPropLevels
 Class for specifying integer propagation levels used by minimodel. More...
 
class  Gecode::NonLinIntExpr
 Base class for non-linear expressions over integer variables. More...
 
class  Gecode::LinIntExpr
 Linear expressions over integer variables. More...
 
class  Gecode::LinIntRel
 Linear relations over integer variables. More...
 
class  Gecode::NonLinFloatExpr
 Base class for non-linear float expressions. More...
 
class  Gecode::LinFloatExpr
 Float expressions More...
 
class  Gecode::LinFloatRel
 Linear relations. More...
 
class  Gecode::SetExpr
 Set expressions More...
 
class  Gecode::SetCmpRel
 Comparison relation (for two-sided comparisons) More...
 
class  Gecode::SetRel
 Set relations More...
 
class  Gecode::BoolExpr
 Boolean expressions. More...
 
class  Gecode::BoolExpr::Misc
 Miscealloneous Boolean expressions. More...
 
class  Gecode::REG
 Regular expressions over integer values. More...
 
class  Gecode::Slice< A >
 A slice of a matrix. More...
 
class  Gecode::Matrix< A >
 Matrix-interface for arrays. More...
 
class  Gecode::IntMinimizeSpace
 Class for minimizing integer cost. More...
 
class  Gecode::IntMaximizeSpace
 Class for maximizing integer cost. More...
 
class  Gecode::IntLexMinimizeSpace
 Class for lexicographically minimizing integer costs. More...
 
class  Gecode::IntLexMaximizeSpace
 Class for lexicographically maximizing integer costs. More...
 
class  Gecode::FloatMinimizeSpace
 Class for minimizing float cost. More...
 
class  Gecode::FloatMaximizeSpace
 Class for maximizing float cost. More...
 

Namespaces

 Gecode::MiniModel
 Minimalistic modeling support.
 

Macros

#define GECODE_MINIMODEL_EXPORT
 
#define GECODE_LIBRARY_NAME   "MiniModel"
 

Functions

LinIntExpr Gecode::operator+ (int, const IntVar &)
 Construct linear expression as sum of integer variable and integer. More...
 
LinIntExpr Gecode::operator+ (int, const BoolVar &)
 Construct linear expression as sum of Boolean variable and integer. More...
 
LinIntExpr Gecode::operator+ (int, const LinIntExpr &)
 Construct linear expression as sum of linear expression and integer. More...
 
LinIntExpr Gecode::operator+ (const IntVar &, int)
 Construct linear expression as sum of integer variable and integer. More...
 
LinIntExpr Gecode::operator+ (const BoolVar &, int)
 Construct linear expression as sum of Boolean variable and integer. More...
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, int)
 Construct linear expression as sum of linear expression and integer. More...
 
LinIntExpr Gecode::operator+ (const IntVar &, const IntVar &)
 Construct linear expression as sum of integer variables. More...
 
LinIntExpr Gecode::operator+ (const IntVar &, const BoolVar &)
 Construct linear expression as sum of integer and Boolean variable. More...
 
LinIntExpr Gecode::operator+ (const BoolVar &, const IntVar &)
 Construct linear expression as sum of Boolean and integer variable. More...
 
LinIntExpr Gecode::operator+ (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of Boolean variables. More...
 
LinIntExpr Gecode::operator+ (const IntVar &, const LinIntExpr &)
 Construct linear expression as sum of integer variable and linear expression. More...
 
LinIntExpr Gecode::operator+ (const BoolVar &, const LinIntExpr &)
 Construct linear expression as sum of Boolean variable and linear expression. More...
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, const IntVar &)
 Construct linear expression as sum of linear expression and integer variable. More...
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, const BoolVar &)
 Construct linear expression as sum of linear expression and Boolean variable. More...
 
LinIntExpr Gecode::operator+ (const LinIntExpr &, const LinIntExpr &)
 Construct linear expression as sum of linear expressions. More...
 
LinIntExpr Gecode::operator- (int, const IntVar &)
 Construct linear expression as sum of integer variable and integer. More...
 
LinIntExpr Gecode::operator- (int, const BoolVar &)
 Construct linear expression as sum of Boolean variable and integer. More...
 
LinIntExpr Gecode::operator- (int, const LinIntExpr &)
 Construct linear expression as sum of integer and linear expression. More...
 
LinIntExpr Gecode::operator- (const IntVar &, int)
 Construct linear expression as sum of integer variable and integer. More...
 
LinIntExpr Gecode::operator- (const BoolVar &, int)
 Construct linear expression as sum of Boolean variable and integer. More...
 
LinIntExpr Gecode::operator- (const LinIntExpr &, int)
 Construct linear expression as sum of linear expression and integer. More...
 
LinIntExpr Gecode::operator- (const IntVar &, const IntVar &)
 Construct linear expression as sum of integer variables. More...
 
LinIntExpr Gecode::operator- (const IntVar &, const BoolVar &)
 Construct linear expression as sum of integer and Boolean variable. More...
 
LinIntExpr Gecode::operator- (const BoolVar &, const IntVar &)
 Construct linear expression as sum of Boolean and integer variable. More...
 
LinIntExpr Gecode::operator- (const BoolVar &, const BoolVar &)
 Construct linear expression as sum of Boolean variables. More...
 
LinIntExpr Gecode::operator- (const IntVar &, const LinIntExpr &)
 Construct linear expression as sum of integer variable and linear expression. More...
 
LinIntExpr Gecode::operator- (const BoolVar &, const LinIntExpr &)
 Construct linear expression as sum of Boolean variable and linear expression. More...
 
LinIntExpr Gecode::operator- (const LinIntExpr &, const IntVar &)
 Construct linear expression as sum of linear expression and integer variable. More...
 
LinIntExpr Gecode::operator- (const LinIntExpr &, const BoolVar &)
 Construct linear expression as sum of linear expression and Boolean variable. More...
 
LinIntExpr Gecode::operator- (const LinIntExpr &, const LinIntExpr &)
 Construct linear expression as sum of linear expressions. More...
 
LinIntExpr Gecode::operator- (const IntVar &)
 Construct linear expression as negative of integer variable. More...
 
LinIntExpr Gecode::operator- (const BoolVar &)
 Construct linear expression as negative of Boolean variable. More...
 
LinIntExpr Gecode::operator- (const LinIntExpr &)
 Construct linear expression as negative of linear expression. More...
 
LinIntExpr Gecode::operator* (int, const IntVar &)
 Construct linear expression as product of integer coefficient and integer variable. More...
 
LinIntExpr Gecode::operator* (int, const BoolVar &)
 Construct linear expression as product of integer coefficient and Boolean variable. More...
 
LinIntExpr Gecode::operator* (const IntVar &, int)
 Construct linear expression as product of integer coefficient and integer variable. More...
 
LinIntExpr Gecode::operator* (const BoolVar &, int)
 Construct linear expression as product of integer coefficient and Boolean variable. More...
 
LinIntExpr Gecode::operator* (const LinIntExpr &, int)
 Construct linear expression as product of integer coefficient and linear expression. More...
 
LinIntExpr Gecode::operator* (int, const LinIntExpr &)
 Construct linear expression as product of integer coefficient and linear expression. More...
 
LinIntExpr Gecode::sum (const IntVarArgs &x)
 Construct linear expression as sum of integer variables. More...
 
LinIntExpr Gecode::sum (const IntArgs &a, const IntVarArgs &x)
 Construct linear expression as sum of integer variables with coefficients. More...
 
LinIntExpr Gecode::sum (const BoolVarArgs &x)
 Construct linear expression as sum of Boolean variables. More...
 
LinIntExpr Gecode::sum (const IntArgs &a, const BoolVarArgs &x)
 Construct linear expression as sum of Boolean variables with coefficients. More...
 
LinIntExpr Gecode::sum (const IntArgs &args)
 Construct linear expression as sum of IntArgs. More...
 
LinIntRel Gecode::operator== (int l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (int l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (int l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, int r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, int r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, int r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const IntVar &l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const BoolVar &l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, const IntVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, const BoolVar &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator== (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear equality relation. More...
 
LinIntRel Gecode::operator!= (int l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (int l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (int l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const IntVar &l, int r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const BoolVar &l, int r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const LinIntExpr &l, int r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const IntVar &l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const IntVar &l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const BoolVar &l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const BoolVar &l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const IntVar &l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const BoolVar &l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const LinIntExpr &l, const IntVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const LinIntExpr &l, const BoolVar &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator!= (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear disequality relation. More...
 
LinIntRel Gecode::operator< (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator< (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator<= (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator> (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (int l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (int l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (int l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const IntVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const BoolVar &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const LinIntExpr &l, int r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const IntVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const IntVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const BoolVar &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const BoolVar &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const IntVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const BoolVar &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const LinIntExpr &l, const IntVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const LinIntExpr &l, const BoolVar &r)
 Construct linear inequality relation. More...
 
LinIntRel Gecode::operator>= (const LinIntExpr &l, const LinIntExpr &r)
 Construct linear inequality relation. More...
 
LinFloatExpr Gecode::operator+ (const FloatVal &, const FloatVar &)
 Construct linear float expression as sum of float variable and float. More...
 
LinFloatExpr Gecode::operator+ (const FloatVal &, const LinFloatExpr &)
 Construct linear float expression as sum of linear float expression and float. More...
 
LinFloatExpr Gecode::operator+ (const FloatVar &, const FloatVal &)
 Construct linear float expression as sum of float variable and float. More...
 
LinFloatExpr Gecode::operator+ (const LinFloatExpr &, const FloatVal &)
 Construct linear float expression as sum of linear float expression and float. More...
 
LinFloatExpr Gecode::operator+ (const FloatVar &, const FloatVar &)
 Construct linear float expression as sum of float variables. More...
 
LinFloatExpr Gecode::operator+ (const FloatVar &, const LinFloatExpr &)
 Construct linear float expression as sum of float variable and linear float expression. More...
 
LinFloatExpr Gecode::operator+ (const LinFloatExpr &, const FloatVar &)
 Construct linear float expression as sum of linear float expression and float variable. More...
 
LinFloatExpr Gecode::operator+ (const LinFloatExpr &, const LinFloatExpr &)
 Construct linear float expression as sum of linear float expressions. More...
 
LinFloatExpr Gecode::operator- (const FloatVal &, const FloatVar &)
 Construct linear float expression as sum of float variable and float. More...
 
LinFloatExpr Gecode::operator- (const FloatVal &, const LinFloatExpr &)
 Construct linear float expression as sum of float and linear float expression. More...
 
LinFloatExpr Gecode::operator- (const FloatVar &, const FloatVal &)
 Construct linear float expression as sum of float variable and float. More...
 
LinFloatExpr Gecode::operator- (const LinFloatExpr &, const FloatVal &)
 Construct linear float expression as sum of linear float expression and float. More...
 
LinFloatExpr Gecode::operator- (const FloatVar &, const FloatVar &)
 Construct linear float expression as sum of float variables. More...
 
LinFloatExpr Gecode::operator- (const FloatVar &, const LinFloatExpr &)
 Construct linear float expression as sum of float variable and linear float expression. More...
 
LinFloatExpr Gecode::operator- (const LinFloatExpr &, const FloatVar &)
 Construct linear float expression as sum of linear float expression and float variable. More...
 
LinFloatExpr Gecode::operator- (const LinFloatExpr &, const LinFloatExpr &)
 Construct linear float expression as sum of linear float expressions. More...
 
LinFloatExpr Gecode::operator- (const FloatVar &)
 Construct linear float expression as negative of float variable. More...
 
LinFloatExpr Gecode::operator- (const LinFloatExpr &)
 Construct linear float expression as negative of linear float expression. More...
 
LinFloatExpr Gecode::operator* (const FloatVal &, const FloatVar &)
 Construct linear float expression as product of float coefficient and float variable. More...
 
LinFloatExpr Gecode::operator* (const FloatVar &, const FloatVal &)
 Construct linear float expression as product of float coefficient and float variable. More...
 
LinFloatExpr Gecode::operator* (const LinFloatExpr &, const FloatVal &)
 Construct linear float expression as product of float coefficient and linear float expression. More...
 
LinFloatExpr Gecode::operator* (const FloatVal &, const LinFloatExpr &)
 Construct linear float expression as product of float coefficient and linear float expression. More...
 
LinFloatExpr Gecode::sum (const FloatVarArgs &x)
 Construct linear float expression as sum of float variables. More...
 
LinFloatExpr Gecode::sum (const FloatValArgs &a, const FloatVarArgs &x)
 Construct linear float expression as sum of float variables with coefficients. More...
 
LinFloatRel Gecode::operator== (const FloatVal &l, const FloatVar &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator== (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator== (const FloatVar &l, const FloatVal &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator== (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator== (const FloatVar &l, const FloatVar &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator== (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator== (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator== (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float equality relation. More...
 
LinFloatRel Gecode::operator!= (const FloatVal &l, const FloatVar &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator!= (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator!= (const FloatVar &l, const FloatVal &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator!= (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator!= (const FloatVar &l, const FloatVar &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator!= (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator!= (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator!= (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float disequality relation. More...
 
LinFloatRel Gecode::operator< (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator< (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator< (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator< (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator< (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator< (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator< (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator< (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator<= (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator> (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const FloatVal &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const FloatVal &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const FloatVar &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const LinFloatExpr &l, const FloatVal &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const FloatVar &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const FloatVar &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const LinFloatExpr &l, const FloatVar &r)
 Construct linear float inequality relation. More...
 
LinFloatRel Gecode::operator>= (const LinFloatExpr &l, const LinFloatExpr &r)
 Construct linear float inequality relation. More...
 
SetExpr Gecode::singleton (const LinIntExpr &)
 Singleton expression. More...
 
SetExpr Gecode::operator- (const SetExpr &)
 Complement expression. More...
 
SetExpr Gecode::operator& (const SetExpr &, const SetExpr &)
 Intersection of set expressions. More...
 
SetExpr Gecode::operator| (const SetExpr &, const SetExpr &)
 Union of set expressions. More...
 
SetExpr Gecode::operator+ (const SetExpr &, const SetExpr &)
 Disjoint union of set expressions. More...
 
SetExpr Gecode::operator- (const SetExpr &, const SetExpr &)
 Difference of set expressions. More...
 
SetExpr Gecode::inter (const SetVarArgs &)
 Intersection of set variables. More...
 
SetExpr Gecode::setunion (const SetVarArgs &)
 Union of set variables. More...
 
SetExpr Gecode::setdunion (const SetVarArgs &)
 Disjoint union of set variables. More...
 
LinIntExpr Gecode::cardinality (const SetExpr &)
 Cardinality of set expression. More...
 
LinIntExpr Gecode::min (const SetExpr &)
 Minimum element of set expression. More...
 
LinIntExpr Gecode::max (const SetExpr &)
 Minimum element of set expression. More...
 
SetRel Gecode::operator== (const SetExpr &, const SetExpr &)
 Equality of set expressions. More...
 
SetRel Gecode::operator!= (const SetExpr &, const SetExpr &)
 Disequality of set expressions. More...
 
SetCmpRel Gecode::operator<= (const SetExpr &, const SetExpr &)
 Subset of set expressions. More...
 
BoolExpr Gecode::operator<= (const SetCmpRel &, const SetExpr &)
 Subset of set expressions. More...
 
SetCmpRel Gecode::operator>= (const SetExpr &, const SetExpr &)
 Superset of set expressions. More...
 
BoolExpr Gecode::operator>= (const SetCmpRel &, const SetExpr &)
 Superset of set expressions. More...
 
SetRel Gecode::operator|| (const SetExpr &, const SetExpr &)
 Disjointness of set expressions. More...
 
BoolExpr Gecode::operator! (const BoolExpr &)
 Negated Boolean expression. More...
 
BoolExpr Gecode::operator&& (const BoolExpr &, const BoolExpr &)
 Conjunction of Boolean expressions. More...
 
BoolExpr Gecode::operator|| (const BoolExpr &, const BoolExpr &)
 Disjunction of Boolean expressions. More...
 
BoolExpr Gecode::operator^ (const BoolExpr &, const BoolExpr &)
 Exclusive-or of Boolean expressions. More...
 
BoolExpr Gecode::operator!= (const BoolExpr &, const BoolExpr &)
 Non-equivalence of Boolean expressions. More...
 
BoolExpr Gecode::operator== (const BoolExpr &, const BoolExpr &)
 Equivalence of Boolean expressions. More...
 
BoolExpr Gecode::operator>> (const BoolExpr &, const BoolExpr &)
 Implication of Boolean expressions. More...
 
BoolExpr Gecode::operator<< (const BoolExpr &, const BoolExpr &)
 Reverse implication of Boolean expressions. More...
 
BoolExpr Gecode::dom (const IntVar &x, int n)
 Return expression for $ x=n$. More...
 
BoolExpr Gecode::dom (const IntVar &x, int l, int m)
 Return expression for $ l\leq x \leq m$. More...
 
BoolExpr Gecode::dom (const IntVar &x, const IntSet &s)
 Return expression for $ x \in s$. More...
 
BoolExpr Gecode::dom (const SetVar &x, SetRelType rt, int i)
 Return expression for $ x \sim_{rt} \{i\}$. More...
 
BoolExpr Gecode::dom (const SetVar &x, SetRelType rt, int i, int j)
 Return expression for $ x \sim_{rt} \{i,\dots,j\}$. More...
 
BoolExpr Gecode::dom (const SetVar &x, SetRelType rt, const IntSet &s)
 Return expression for $ x \sim_{rt} s$. More...
 
BoolExpr Gecode::dom (const FloatVar &x, const FloatVal &n)
 Return expression for $ x=n$. More...
 
BoolExpr Gecode::dom (const FloatVar &x, FloatNum l, FloatNum u)
 Return expression for $ l\leq x \leq u$. More...
 
BoolExpr Gecode::operator== (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i=x$. More...
 
BoolExpr Gecode::operator== (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x=i$. More...
 
BoolExpr Gecode::operator== (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator== (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator!= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i\neq x$. More...
 
BoolExpr Gecode::operator!= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\neq i$. More...
 
BoolExpr Gecode::operator!= (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator!= (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator<= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 6 \land \forall i\in s:\ i\leq x$. More...
 
BoolExpr Gecode::operator<= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\leq i$. More...
 
BoolExpr Gecode::operator<= (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator<= (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator< (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i<x$. More...
 
BoolExpr Gecode::operator< (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x<i$. More...
 
BoolExpr Gecode::operator< (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator< (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator>= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i\geq x$. More...
 
BoolExpr Gecode::operator>= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\geq i$. More...
 
BoolExpr Gecode::operator>= (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator>= (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator> (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i>x$. More...
 
BoolExpr Gecode::operator> (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x>i$. More...
 
BoolExpr Gecode::operator> (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator> (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
IntVar Gecode::expr (Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
 Post linear expression and return its value. More...
 
FloatVar Gecode::expr (Home home, const LinFloatExpr &e)
 Post float expression and return its value. More...
 
SetVar Gecode::expr (Home home, const SetExpr &e)
 Post set expression and return its value. More...
 
BoolVar Gecode::expr (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
 Post Boolean expression and return its value. More...
 
void Gecode::rel (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
 Post Boolean relation. More...
 
LinIntExpr Gecode::operator* (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $x\cdot y$. More...
 
LinIntExpr Gecode::operator/ (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $x\ \mathrm{div}\ y$. More...
 
LinIntExpr Gecode::operator% (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $x\ \mathrm{mod}\ y$. More...
 
LinIntExpr Gecode::abs (const LinIntExpr &e)
 Return expression for $|e|$. More...
 
LinIntExpr Gecode::min (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $\min(x,y)$. More...
 
LinIntExpr Gecode::min (const IntVarArgs &x)
 Return expression for $\min(x)$. More...
 
LinIntExpr Gecode::max (const LinIntExpr &x, const LinIntExpr &y)
 Return expression for $\max(x,y)$. More...
 
LinIntExpr Gecode::max (const IntVarArgs &x)
 Return expression for $\max(x)$. More...
 
LinIntExpr Gecode::sqr (const LinIntExpr &x)
 Return expression for $x^2$. More...
 
LinIntExpr Gecode::sqrt (const LinIntExpr &x)
 Return expression for $\lfloor\sqrt{x}\rfloor$. More...
 
LinIntExpr Gecode::pow (const LinIntExpr &x, int n)
 Return expression for $x^n$. More...
 
LinIntExpr Gecode::nroot (const LinIntExpr &x, int n)
 Return expression for $\lfloor\sqrt[n]{x}\rfloor$. More...
 
LinIntExpr Gecode::element (const IntVarArgs &x, const LinIntExpr &y)
 Return expression for $x[y]$. More...
 
BoolExpr Gecode::element (const BoolVarArgs &x, const LinIntExpr &y)
 Return expression for $x[y]$. More...
 
LinIntExpr Gecode::element (const IntArgs &x, const LinIntExpr &y)
 Return expression for $x[y]$. More...
 
LinIntExpr Gecode::ite (const BoolExpr &b, const LinIntExpr &x, const LinIntExpr &y)
 Return expression for if-then-else $b?x:y$. More...
 
LinFloatExpr Gecode::operator* (const FloatVar &, const FloatVar &)
 Return expression as product of float variables. More...
 
LinFloatExpr Gecode::operator* (const FloatVar &, const LinFloatExpr &)
 Return expression as product of float variable and linear float expression. More...
 
LinFloatExpr Gecode::operator* (const LinFloatExpr &, const FloatVar &)
 Return expression as product of linear float expression and float variable. More...
 
LinFloatExpr Gecode::abs (const LinFloatExpr &e)
 Return expression for $|e|$. More...
 
LinFloatExpr Gecode::min (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $\min(x,y)$. More...
 
LinFloatExpr Gecode::min (const FloatVarArgs &x)
 Return expression for $\min(x)$. More...
 
LinFloatExpr Gecode::max (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $\max(x,y)$. More...
 
LinFloatExpr Gecode::max (const FloatVarArgs &x)
 Return expression for $\max(x)$. More...
 
LinFloatExpr Gecode::operator* (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $x\cdot y$. More...
 
LinFloatExpr Gecode::operator/ (const LinFloatExpr &x, const LinFloatExpr &y)
 Return expression for $x/y$. More...
 
LinFloatExpr Gecode::sqr (const LinFloatExpr &x)
 Return expression for $x^2$. More...
 
LinFloatExpr Gecode::sqrt (const LinFloatExpr &x)
 Return expression for $\sqrt{x}$. More...
 
LinFloatExpr Gecode::pow (const LinFloatExpr &x, int n)
 Return expression for $x^n$. More...
 
LinFloatExpr Gecode::nroot (const LinFloatExpr &x, int n)
 Return expression for $x^{1/n}$. More...
 
LinFloatExpr Gecode::exp (const LinFloatExpr &x)
 Return expression for $ \mathrm{exp}(x)$. More...
 
LinFloatExpr Gecode::log (const LinFloatExpr &x)
 Return expression for $ \mathrm{log}(x)$. More...
 
LinFloatExpr Gecode::asin (const LinFloatExpr &x)
 Return expression for $ \mathrm{asin}(x)$. More...
 
LinFloatExpr Gecode::sin (const LinFloatExpr &x)
 Return expression for $ \mathrm{sin}(x)$. More...
 
LinFloatExpr Gecode::acos (const LinFloatExpr &x)
 Return expression for $ \mathrm{acos}(x)$. More...
 
LinFloatExpr Gecode::cos (const LinFloatExpr &x)
 Return expression for $ \mathrm{cos}(x)$. More...
 
LinFloatExpr Gecode::atan (const LinFloatExpr &x)
 Return expression for $ \mathrm{atan}(x)$. More...
 
LinFloatExpr Gecode::tan (const LinFloatExpr &x)
 Return expression for $ \mathrm{tan}(x)$. More...
 
BoolVar Gecode::channel (Home home, IntVar x, IntPropLevel ipl=IPL_DEF)
 Return Boolean variable equal to $x$. More...
 
IntVar Gecode::channel (Home home, BoolVar b, IntPropLevel ipl=IPL_DEF)
 Return integer variable equal to $b$. More...
 
IntVar Gecode::channel (Home home, FloatVar f)
 Return integer variable equal to $f$. More...
 
SetVar Gecode::channel (Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF)
 Return set variable equal to $\{x_0,\dots,x_{n-1}\}$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq m$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq m$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq m$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq z$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq z$. More...
 
void Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq z$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq m$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq m$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq m$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq z$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq z$. More...
 
void Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq z$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=m$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=m$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=m$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, int n, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=z$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=z$. More...
 
void Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntPropLevel ipl=IPL_DEF)
 Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=z$. More...
 
void Gecode::lex (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF)
 Post lexical order between x and y. More...
 
void Gecode::lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntPropLevel ipl=IPL_DEF)
 Post lexical order between x and y. More...
 
void Gecode::values (Home home, const IntVarArgs &x, IntSet y, IntPropLevel ipl=IPL_DEF)
 Post constraint $\{x_0,\dots,x_{n-1}\}=y$. More...
 
void Gecode::channel (Home home, const IntVarArgs &x, SetVar y)
 Post constraint $\{x_0,\dots,x_{n-1}\}=y$. More...
 
void Gecode::range (Home home, const IntVarArgs &x, SetVar y, SetVar z)
 Post constraint $\bigcup_{i\in y}\{x_i\}=z$. More...
 
void Gecode::roots (Home home, const IntVarArgs &x, SetVar y, SetVar z)
 Post constraint $\bigcup_{i\in z}\{j\ |\ x_j=i\}=z$. More...
 
template<class A >
Slice< A >::ArgsType Gecode::operator+ (const Slice< A > &x, const Slice< A > &y)
 Concatenate x and y. More...
 
template<class A >
Slice< A >::ArgsType Gecode::operator+ (const Slice< A > &x, const typename ArrayTraits< A >::ArgsType &y)
 Concatenate x and y. More...
 
template<class A >
Slice< A >::ArgsType Gecode::operator+ (const typename ArrayTraits< A >::ArgsType &x, const Slice< A > &y)
 Concatenate x and y. More...
 
template<class A >
Slice< A >::ArgsType Gecode::operator+ (const Slice< A > &x, const typename ArrayTraits< A >::ValueType &y)
 Concatenate x and y. More...
 
template<class A >
Slice< A >::ArgsType Gecode::operator+ (const typename ArrayTraits< A >::ValueType &x, const Slice< A > &y)
 Concatenate x and y. More...
 
LinIntExpr Gecode::sum (const Slice< IntArgs > &slice)
 Construct linear expression as sum of IntArgs Slice elements. More...
 
LinIntExpr Gecode::sum (const Matrix< IntArgs > &matrix)
 Construct linear expression as sum of IntArgs Matrix elements. More...
 

Macro Definition Documentation

◆ GECODE_MINIMODEL_EXPORT

#define GECODE_MINIMODEL_EXPORT

Definition at line 78 of file minimodel.hh.

◆ GECODE_LIBRARY_NAME

#define GECODE_LIBRARY_NAME   "MiniModel"

Definition at line 85 of file minimodel.hh.

Function Documentation

◆ operator+() [1/29]

LinIntExpr Gecode::operator+ ( int  c,
const IntVar x 
)

Construct linear expression as sum of integer variable and integer.

Definition at line 588 of file int-expr.cpp.

◆ operator+() [2/29]

LinIntExpr Gecode::operator+ ( int  c,
const BoolVar x 
)

Construct linear expression as sum of Boolean variable and integer.

Definition at line 596 of file int-expr.cpp.

◆ operator+() [3/29]

LinIntExpr Gecode::operator+ ( int  c,
const LinIntExpr e 
)

Construct linear expression as sum of linear expression and integer.

Definition at line 604 of file int-expr.cpp.

◆ operator+() [4/29]

LinIntExpr Gecode::operator+ ( const IntVar x,
int  c 
)

Construct linear expression as sum of integer variable and integer.

Definition at line 608 of file int-expr.cpp.

◆ operator+() [5/29]

LinIntExpr Gecode::operator+ ( const BoolVar x,
int  c 
)

Construct linear expression as sum of Boolean variable and integer.

Definition at line 616 of file int-expr.cpp.

◆ operator+() [6/29]

LinIntExpr Gecode::operator+ ( const LinIntExpr e,
int  c 
)

Construct linear expression as sum of linear expression and integer.

Definition at line 624 of file int-expr.cpp.

◆ operator+() [7/29]

LinIntExpr Gecode::operator+ ( const IntVar x,
const IntVar y 
)

Construct linear expression as sum of integer variables.

Definition at line 628 of file int-expr.cpp.

◆ operator+() [8/29]

LinIntExpr Gecode::operator+ ( const IntVar x,
const BoolVar y 
)

Construct linear expression as sum of integer and Boolean variable.

Definition at line 637 of file int-expr.cpp.

◆ operator+() [9/29]

LinIntExpr Gecode::operator+ ( const BoolVar x,
const IntVar y 
)

Construct linear expression as sum of Boolean and integer variable.

Definition at line 646 of file int-expr.cpp.

◆ operator+() [10/29]

LinIntExpr Gecode::operator+ ( const BoolVar x,
const BoolVar y 
)

Construct linear expression as sum of Boolean variables.

Definition at line 655 of file int-expr.cpp.

◆ operator+() [11/29]

LinIntExpr Gecode::operator+ ( const IntVar x,
const LinIntExpr e 
)

Construct linear expression as sum of integer variable and linear expression.

Definition at line 664 of file int-expr.cpp.

◆ operator+() [12/29]

LinIntExpr Gecode::operator+ ( const BoolVar x,
const LinIntExpr e 
)

Construct linear expression as sum of Boolean variable and linear expression.

Definition at line 671 of file int-expr.cpp.

◆ operator+() [13/29]

LinIntExpr Gecode::operator+ ( const LinIntExpr e,
const IntVar x 
)

Construct linear expression as sum of linear expression and integer variable.

Definition at line 678 of file int-expr.cpp.

◆ operator+() [14/29]

LinIntExpr Gecode::operator+ ( const LinIntExpr e,
const BoolVar x 
)

Construct linear expression as sum of linear expression and Boolean variable.

Definition at line 685 of file int-expr.cpp.

◆ operator+() [15/29]

LinIntExpr Gecode::operator+ ( const LinIntExpr e1,
const LinIntExpr e2 
)

Construct linear expression as sum of linear expressions.

Definition at line 692 of file int-expr.cpp.

◆ operator-() [1/30]

LinIntExpr Gecode::operator- ( int  c,
const IntVar x 
)

Construct linear expression as sum of integer variable and integer.

Definition at line 697 of file int-expr.cpp.

◆ operator-() [2/30]

LinIntExpr Gecode::operator- ( int  c,
const BoolVar x 
)

Construct linear expression as sum of Boolean variable and integer.

Definition at line 705 of file int-expr.cpp.

◆ operator-() [3/30]

LinIntExpr Gecode::operator- ( int  c,
const LinIntExpr e 
)

Construct linear expression as sum of integer and linear expression.

Definition at line 713 of file int-expr.cpp.

◆ operator-() [4/30]

LinIntExpr Gecode::operator- ( const IntVar x,
int  c 
)

Construct linear expression as sum of integer variable and integer.

Definition at line 717 of file int-expr.cpp.

◆ operator-() [5/30]

LinIntExpr Gecode::operator- ( const BoolVar x,
int  c 
)

Construct linear expression as sum of Boolean variable and integer.

Definition at line 725 of file int-expr.cpp.

◆ operator-() [6/30]

LinIntExpr Gecode::operator- ( const LinIntExpr e,
int  c 
)

Construct linear expression as sum of linear expression and integer.

Definition at line 733 of file int-expr.cpp.

◆ operator-() [7/30]

LinIntExpr Gecode::operator- ( const IntVar x,
const IntVar y 
)

Construct linear expression as sum of integer variables.

Definition at line 737 of file int-expr.cpp.

◆ operator-() [8/30]

LinIntExpr Gecode::operator- ( const IntVar x,
const BoolVar y 
)

Construct linear expression as sum of integer and Boolean variable.

Definition at line 746 of file int-expr.cpp.

◆ operator-() [9/30]

LinIntExpr Gecode::operator- ( const BoolVar x,
const IntVar y 
)

Construct linear expression as sum of Boolean and integer variable.

Definition at line 755 of file int-expr.cpp.

◆ operator-() [10/30]

LinIntExpr Gecode::operator- ( const BoolVar x,
const BoolVar y 
)

Construct linear expression as sum of Boolean variables.

Definition at line 764 of file int-expr.cpp.

◆ operator-() [11/30]

LinIntExpr Gecode::operator- ( const IntVar x,
const LinIntExpr e 
)

Construct linear expression as sum of integer variable and linear expression.

Definition at line 773 of file int-expr.cpp.

◆ operator-() [12/30]

LinIntExpr Gecode::operator- ( const BoolVar x,
const LinIntExpr e 
)

Construct linear expression as sum of Boolean variable and linear expression.

Definition at line 780 of file int-expr.cpp.

◆ operator-() [13/30]

LinIntExpr Gecode::operator- ( const LinIntExpr e,
const IntVar x 
)

Construct linear expression as sum of linear expression and integer variable.

Definition at line 787 of file int-expr.cpp.

◆ operator-() [14/30]

LinIntExpr Gecode::operator- ( const LinIntExpr e,
const BoolVar x 
)

Construct linear expression as sum of linear expression and Boolean variable.

Definition at line 794 of file int-expr.cpp.

◆ operator-() [15/30]

LinIntExpr Gecode::operator- ( const LinIntExpr e1,
const LinIntExpr e2 
)

Construct linear expression as sum of linear expressions.

Definition at line 801 of file int-expr.cpp.

◆ operator-() [16/30]

LinIntExpr Gecode::operator- ( const IntVar x)

Construct linear expression as negative of integer variable.

Definition at line 806 of file int-expr.cpp.

◆ operator-() [17/30]

LinIntExpr Gecode::operator- ( const BoolVar x)

Construct linear expression as negative of Boolean variable.

Definition at line 813 of file int-expr.cpp.

◆ operator-() [18/30]

LinIntExpr Gecode::operator- ( const LinIntExpr e)

Construct linear expression as negative of linear expression.

Definition at line 820 of file int-expr.cpp.

◆ operator*() [1/15]

LinIntExpr Gecode::operator* ( int  a,
const IntVar x 
)

Construct linear expression as product of integer coefficient and integer variable.

Definition at line 825 of file int-expr.cpp.

◆ operator*() [2/15]

LinIntExpr Gecode::operator* ( int  a,
const BoolVar x 
)

Construct linear expression as product of integer coefficient and Boolean variable.

Definition at line 835 of file int-expr.cpp.

◆ operator*() [3/15]

LinIntExpr Gecode::operator* ( const IntVar x,
int  a 
)

Construct linear expression as product of integer coefficient and integer variable.

Definition at line 845 of file int-expr.cpp.

◆ operator*() [4/15]

LinIntExpr Gecode::operator* ( const BoolVar x,
int  a 
)

Construct linear expression as product of integer coefficient and Boolean variable.

Definition at line 855 of file int-expr.cpp.

◆ operator*() [5/15]

LinIntExpr Gecode::operator* ( const LinIntExpr e,
int  a 
)

Construct linear expression as product of integer coefficient and linear expression.

Definition at line 865 of file int-expr.cpp.

◆ operator*() [6/15]

LinIntExpr Gecode::operator* ( int  a,
const LinIntExpr e 
)

Construct linear expression as product of integer coefficient and linear expression.

Definition at line 872 of file int-expr.cpp.

◆ sum() [1/9]

LinIntExpr Gecode::sum ( const IntVarArgs x)

Construct linear expression as sum of integer variables.

Definition at line 880 of file int-expr.cpp.

◆ sum() [2/9]

LinIntExpr Gecode::sum ( const IntArgs a,
const IntVarArgs x 
)

Construct linear expression as sum of integer variables with coefficients.

Definition at line 884 of file int-expr.cpp.

◆ sum() [3/9]

LinIntExpr Gecode::sum ( const BoolVarArgs x)

Construct linear expression as sum of Boolean variables.

Definition at line 888 of file int-expr.cpp.

◆ sum() [4/9]

LinIntExpr Gecode::sum ( const IntArgs a,
const BoolVarArgs x 
)

Construct linear expression as sum of Boolean variables with coefficients.

Definition at line 892 of file int-expr.cpp.

◆ sum() [5/9]

LinIntExpr Gecode::sum ( const IntArgs args)

Construct linear expression as sum of IntArgs.

Definition at line 906 of file int-expr.cpp.

◆ operator==() [1/29]

LinIntRel Gecode::operator== ( int  l,
const IntVar r 
)

Construct linear equality relation.

Definition at line 43 of file int-rel.cpp.

◆ operator==() [2/29]

LinIntRel Gecode::operator== ( int  l,
const BoolVar r 
)

Construct linear equality relation.

Definition at line 47 of file int-rel.cpp.

◆ operator==() [3/29]

LinIntRel Gecode::operator== ( int  l,
const LinIntExpr r 
)

Construct linear equality relation.

Definition at line 51 of file int-rel.cpp.

◆ operator==() [4/29]

LinIntRel Gecode::operator== ( const IntVar l,
int  r 
)

Construct linear equality relation.

Definition at line 55 of file int-rel.cpp.

◆ operator==() [5/29]

LinIntRel Gecode::operator== ( const BoolVar l,
int  r 
)

Construct linear equality relation.

Definition at line 59 of file int-rel.cpp.

◆ operator==() [6/29]

LinIntRel Gecode::operator== ( const LinIntExpr l,
int  r 
)

Construct linear equality relation.

Definition at line 63 of file int-rel.cpp.

◆ operator==() [7/29]

LinIntRel Gecode::operator== ( const IntVar l,
const IntVar r 
)

Construct linear equality relation.

Definition at line 67 of file int-rel.cpp.

◆ operator==() [8/29]

LinIntRel Gecode::operator== ( const IntVar l,
const BoolVar r 
)

Construct linear equality relation.

Definition at line 71 of file int-rel.cpp.

◆ operator==() [9/29]

LinIntRel Gecode::operator== ( const BoolVar l,
const IntVar r 
)

Construct linear equality relation.

Definition at line 75 of file int-rel.cpp.

◆ operator==() [10/29]

LinIntRel Gecode::operator== ( const BoolVar l,
const BoolVar r 
)

Construct linear equality relation.

Definition at line 79 of file int-rel.cpp.

◆ operator==() [11/29]

LinIntRel Gecode::operator== ( const IntVar l,
const LinIntExpr r 
)

Construct linear equality relation.

Definition at line 83 of file int-rel.cpp.

◆ operator==() [12/29]

LinIntRel Gecode::operator== ( const BoolVar l,
const LinIntExpr r 
)

Construct linear equality relation.

Definition at line 87 of file int-rel.cpp.

◆ operator==() [13/29]

LinIntRel Gecode::operator== ( const LinIntExpr l,
const IntVar r 
)

Construct linear equality relation.

Definition at line 91 of file int-rel.cpp.

◆ operator==() [14/29]

LinIntRel Gecode::operator== ( const LinIntExpr l,
const BoolVar r 
)

Construct linear equality relation.

Definition at line 95 of file int-rel.cpp.

◆ operator==() [15/29]

LinIntRel Gecode::operator== ( const LinIntExpr l,
const LinIntExpr r 
)

Construct linear equality relation.

Definition at line 99 of file int-rel.cpp.

◆ operator!=() [1/29]

LinIntRel Gecode::operator!= ( int  l,
const IntVar r 
)

Construct linear disequality relation.

Definition at line 104 of file int-rel.cpp.

◆ operator!=() [2/29]

LinIntRel Gecode::operator!= ( int  l,
const BoolVar r 
)

Construct linear disequality relation.

Definition at line 108 of file int-rel.cpp.

◆ operator!=() [3/29]

LinIntRel Gecode::operator!= ( int  l,
const LinIntExpr r 
)

Construct linear disequality relation.

Definition at line 112 of file int-rel.cpp.

◆ operator!=() [4/29]

LinIntRel Gecode::operator!= ( const IntVar l,
int  r 
)

Construct linear disequality relation.

Definition at line 116 of file int-rel.cpp.

◆ operator!=() [5/29]

LinIntRel Gecode::operator!= ( const BoolVar l,
int  r 
)

Construct linear disequality relation.

Definition at line 120 of file int-rel.cpp.

◆ operator!=() [6/29]

LinIntRel Gecode::operator!= ( const LinIntExpr l,
int  r 
)

Construct linear disequality relation.

Definition at line 124 of file int-rel.cpp.

◆ operator!=() [7/29]

LinIntRel Gecode::operator!= ( const IntVar l,
const IntVar r 
)

Construct linear disequality relation.

Definition at line 128 of file int-rel.cpp.

◆ operator!=() [8/29]

LinIntRel Gecode::operator!= ( const IntVar l,
const BoolVar r 
)

Construct linear disequality relation.

Definition at line 132 of file int-rel.cpp.

◆ operator!=() [9/29]

LinIntRel Gecode::operator!= ( const BoolVar l,
const IntVar r 
)

Construct linear disequality relation.

Definition at line 136 of file int-rel.cpp.

◆ operator!=() [10/29]

LinIntRel Gecode::operator!= ( const BoolVar l,
const BoolVar r 
)

Construct linear disequality relation.

Definition at line 140 of file int-rel.cpp.

◆ operator!=() [11/29]

LinIntRel Gecode::operator!= ( const IntVar l,
const LinIntExpr r 
)

Construct linear disequality relation.

Definition at line 144 of file int-rel.cpp.

◆ operator!=() [12/29]

LinIntRel Gecode::operator!= ( const BoolVar l,
const LinIntExpr r 
)

Construct linear disequality relation.

Definition at line 148 of file int-rel.cpp.

◆ operator!=() [13/29]

LinIntRel Gecode::operator!= ( const LinIntExpr l,
const IntVar r 
)

Construct linear disequality relation.

Definition at line 152 of file int-rel.cpp.

◆ operator!=() [14/29]

LinIntRel Gecode::operator!= ( const LinIntExpr l,
const BoolVar r 
)

Construct linear disequality relation.

Definition at line 156 of file int-rel.cpp.

◆ operator!=() [15/29]

LinIntRel Gecode::operator!= ( const LinIntExpr l,
const LinIntExpr r 
)

Construct linear disequality relation.

Definition at line 160 of file int-rel.cpp.

◆ operator<() [1/27]

LinIntRel Gecode::operator< ( int  l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 164 of file int-rel.cpp.

◆ operator<() [2/27]

LinIntRel Gecode::operator< ( int  l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 168 of file int-rel.cpp.

◆ operator<() [3/27]

LinIntRel Gecode::operator< ( int  l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 172 of file int-rel.cpp.

◆ operator<() [4/27]

LinIntRel Gecode::operator< ( const IntVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 176 of file int-rel.cpp.

◆ operator<() [5/27]

LinIntRel Gecode::operator< ( const BoolVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 180 of file int-rel.cpp.

◆ operator<() [6/27]

LinIntRel Gecode::operator< ( const LinIntExpr l,
int  r 
)

Construct linear inequality relation.

Definition at line 184 of file int-rel.cpp.

◆ operator<() [7/27]

LinIntRel Gecode::operator< ( const IntVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 188 of file int-rel.cpp.

◆ operator<() [8/27]

LinIntRel Gecode::operator< ( const IntVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 192 of file int-rel.cpp.

◆ operator<() [9/27]

LinIntRel Gecode::operator< ( const BoolVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 196 of file int-rel.cpp.

◆ operator<() [10/27]

LinIntRel Gecode::operator< ( const BoolVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 200 of file int-rel.cpp.

◆ operator<() [11/27]

LinIntRel Gecode::operator< ( const IntVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 204 of file int-rel.cpp.

◆ operator<() [12/27]

LinIntRel Gecode::operator< ( const BoolVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 208 of file int-rel.cpp.

◆ operator<() [13/27]

LinIntRel Gecode::operator< ( const LinIntExpr l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 212 of file int-rel.cpp.

◆ operator<() [14/27]

LinIntRel Gecode::operator< ( const LinIntExpr l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 216 of file int-rel.cpp.

◆ operator<() [15/27]

LinIntRel Gecode::operator< ( const LinIntExpr l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 220 of file int-rel.cpp.

◆ operator<=() [1/29]

LinIntRel Gecode::operator<= ( int  l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 225 of file int-rel.cpp.

◆ operator<=() [2/29]

LinIntRel Gecode::operator<= ( int  l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 229 of file int-rel.cpp.

◆ operator<=() [3/29]

LinIntRel Gecode::operator<= ( int  l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 233 of file int-rel.cpp.

◆ operator<=() [4/29]

LinIntRel Gecode::operator<= ( const IntVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 237 of file int-rel.cpp.

◆ operator<=() [5/29]

LinIntRel Gecode::operator<= ( const BoolVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 241 of file int-rel.cpp.

◆ operator<=() [6/29]

LinIntRel Gecode::operator<= ( const LinIntExpr l,
int  r 
)

Construct linear inequality relation.

Definition at line 245 of file int-rel.cpp.

◆ operator<=() [7/29]

LinIntRel Gecode::operator<= ( const IntVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 249 of file int-rel.cpp.

◆ operator<=() [8/29]

LinIntRel Gecode::operator<= ( const IntVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 253 of file int-rel.cpp.

◆ operator<=() [9/29]

LinIntRel Gecode::operator<= ( const BoolVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 257 of file int-rel.cpp.

◆ operator<=() [10/29]

LinIntRel Gecode::operator<= ( const BoolVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 261 of file int-rel.cpp.

◆ operator<=() [11/29]

LinIntRel Gecode::operator<= ( const IntVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 265 of file int-rel.cpp.

◆ operator<=() [12/29]

LinIntRel Gecode::operator<= ( const BoolVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 269 of file int-rel.cpp.

◆ operator<=() [13/29]

LinIntRel Gecode::operator<= ( const LinIntExpr l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 273 of file int-rel.cpp.

◆ operator<=() [14/29]

LinIntRel Gecode::operator<= ( const LinIntExpr l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 277 of file int-rel.cpp.

◆ operator<=() [15/29]

LinIntRel Gecode::operator<= ( const LinIntExpr l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 281 of file int-rel.cpp.

◆ operator>() [1/27]

LinIntRel Gecode::operator> ( int  l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 287 of file int-rel.cpp.

◆ operator>() [2/27]

LinIntRel Gecode::operator> ( int  l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 291 of file int-rel.cpp.

◆ operator>() [3/27]

LinIntRel Gecode::operator> ( int  l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 295 of file int-rel.cpp.

◆ operator>() [4/27]

LinIntRel Gecode::operator> ( const IntVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 299 of file int-rel.cpp.

◆ operator>() [5/27]

LinIntRel Gecode::operator> ( const BoolVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 303 of file int-rel.cpp.

◆ operator>() [6/27]

LinIntRel Gecode::operator> ( const LinIntExpr l,
int  r 
)

Construct linear inequality relation.

Definition at line 307 of file int-rel.cpp.

◆ operator>() [7/27]

LinIntRel Gecode::operator> ( const IntVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 311 of file int-rel.cpp.

◆ operator>() [8/27]

LinIntRel Gecode::operator> ( const IntVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 315 of file int-rel.cpp.

◆ operator>() [9/27]

LinIntRel Gecode::operator> ( const BoolVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 319 of file int-rel.cpp.

◆ operator>() [10/27]

LinIntRel Gecode::operator> ( const BoolVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 323 of file int-rel.cpp.

◆ operator>() [11/27]

LinIntRel Gecode::operator> ( const IntVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 327 of file int-rel.cpp.

◆ operator>() [12/27]

LinIntRel Gecode::operator> ( const BoolVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 331 of file int-rel.cpp.

◆ operator>() [13/27]

LinIntRel Gecode::operator> ( const LinIntExpr l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 335 of file int-rel.cpp.

◆ operator>() [14/27]

LinIntRel Gecode::operator> ( const LinIntExpr l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 339 of file int-rel.cpp.

◆ operator>() [15/27]

LinIntRel Gecode::operator> ( const LinIntExpr l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 343 of file int-rel.cpp.

◆ operator>=() [1/29]

LinIntRel Gecode::operator>= ( int  l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 348 of file int-rel.cpp.

◆ operator>=() [2/29]

LinIntRel Gecode::operator>= ( int  l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 352 of file int-rel.cpp.

◆ operator>=() [3/29]

LinIntRel Gecode::operator>= ( int  l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 356 of file int-rel.cpp.

◆ operator>=() [4/29]

LinIntRel Gecode::operator>= ( const IntVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 360 of file int-rel.cpp.

◆ operator>=() [5/29]

LinIntRel Gecode::operator>= ( const BoolVar l,
int  r 
)

Construct linear inequality relation.

Definition at line 364 of file int-rel.cpp.

◆ operator>=() [6/29]

LinIntRel Gecode::operator>= ( const LinIntExpr l,
int  r 
)

Construct linear inequality relation.

Definition at line 368 of file int-rel.cpp.

◆ operator>=() [7/29]

LinIntRel Gecode::operator>= ( const IntVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 372 of file int-rel.cpp.

◆ operator>=() [8/29]

LinIntRel Gecode::operator>= ( const IntVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 376 of file int-rel.cpp.

◆ operator>=() [9/29]

LinIntRel Gecode::operator>= ( const BoolVar l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 380 of file int-rel.cpp.

◆ operator>=() [10/29]

LinIntRel Gecode::operator>= ( const BoolVar l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 384 of file int-rel.cpp.

◆ operator>=() [11/29]

LinIntRel Gecode::operator>= ( const IntVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 388 of file int-rel.cpp.

◆ operator>=() [12/29]

LinIntRel Gecode::operator>= ( const BoolVar l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 392 of file int-rel.cpp.

◆ operator>=() [13/29]

LinIntRel Gecode::operator>= ( const LinIntExpr l,
const IntVar r 
)

Construct linear inequality relation.

Definition at line 396 of file int-rel.cpp.

◆ operator>=() [14/29]

LinIntRel Gecode::operator>= ( const LinIntExpr l,
const BoolVar r 
)

Construct linear inequality relation.

Definition at line 400 of file int-rel.cpp.

◆ operator>=() [15/29]

LinIntRel Gecode::operator>= ( const LinIntExpr l,
const LinIntExpr r 
)

Construct linear inequality relation.

Definition at line 404 of file int-rel.cpp.

◆ operator+() [16/29]

LinFloatExpr Gecode::operator+ ( const FloatVal c,
const FloatVar x 
)

Construct linear float expression as sum of float variable and float.

Definition at line 399 of file float-expr.cpp.

◆ operator+() [17/29]

LinFloatExpr Gecode::operator+ ( const FloatVal c,
const LinFloatExpr e 
)

Construct linear float expression as sum of linear float expression and float.

Definition at line 406 of file float-expr.cpp.

◆ operator+() [18/29]

LinFloatExpr Gecode::operator+ ( const FloatVar x,
const FloatVal c 
)

Construct linear float expression as sum of float variable and float.

Definition at line 410 of file float-expr.cpp.

◆ operator+() [19/29]

LinFloatExpr Gecode::operator+ ( const LinFloatExpr e,
const FloatVal c 
)

Construct linear float expression as sum of linear float expression and float.

Definition at line 417 of file float-expr.cpp.

◆ operator+() [20/29]

LinFloatExpr Gecode::operator+ ( const FloatVar x,
const FloatVar y 
)

Construct linear float expression as sum of float variables.

Definition at line 421 of file float-expr.cpp.

◆ operator+() [21/29]

LinFloatExpr Gecode::operator+ ( const FloatVar x,
const LinFloatExpr e 
)

Construct linear float expression as sum of float variable and linear float expression.

Definition at line 430 of file float-expr.cpp.

◆ operator+() [22/29]

LinFloatExpr Gecode::operator+ ( const LinFloatExpr e,
const FloatVar x 
)

Construct linear float expression as sum of linear float expression and float variable.

Definition at line 437 of file float-expr.cpp.

◆ operator+() [23/29]

LinFloatExpr Gecode::operator+ ( const LinFloatExpr e1,
const LinFloatExpr e2 
)

Construct linear float expression as sum of linear float expressions.

Definition at line 444 of file float-expr.cpp.

◆ operator-() [19/30]

LinFloatExpr Gecode::operator- ( const FloatVal c,
const FloatVar x 
)

Construct linear float expression as sum of float variable and float.

Definition at line 449 of file float-expr.cpp.

◆ operator-() [20/30]

LinFloatExpr Gecode::operator- ( const FloatVal c,
const LinFloatExpr e 
)

Construct linear float expression as sum of float and linear float expression.

Definition at line 456 of file float-expr.cpp.

◆ operator-() [21/30]

LinFloatExpr Gecode::operator- ( const FloatVar x,
const FloatVal c 
)

Construct linear float expression as sum of float variable and float.

Definition at line 460 of file float-expr.cpp.

◆ operator-() [22/30]

LinFloatExpr Gecode::operator- ( const LinFloatExpr e,
const FloatVal c 
)

Construct linear float expression as sum of linear float expression and float.

Definition at line 467 of file float-expr.cpp.

◆ operator-() [23/30]

LinFloatExpr Gecode::operator- ( const FloatVar x,
const FloatVar y 
)

Construct linear float expression as sum of float variables.

Definition at line 471 of file float-expr.cpp.

◆ operator-() [24/30]

LinFloatExpr Gecode::operator- ( const FloatVar x,
const LinFloatExpr e 
)

Construct linear float expression as sum of float variable and linear float expression.

Definition at line 480 of file float-expr.cpp.

◆ operator-() [25/30]

LinFloatExpr Gecode::operator- ( const LinFloatExpr e,
const FloatVar x 
)

Construct linear float expression as sum of linear float expression and float variable.

Definition at line 487 of file float-expr.cpp.

◆ operator-() [26/30]

LinFloatExpr Gecode::operator- ( const LinFloatExpr e1,
const LinFloatExpr e2 
)

Construct linear float expression as sum of linear float expressions.

Definition at line 494 of file float-expr.cpp.

◆ operator-() [27/30]

LinFloatExpr Gecode::operator- ( const FloatVar x)

Construct linear float expression as negative of float variable.

Definition at line 499 of file float-expr.cpp.

◆ operator-() [28/30]

LinFloatExpr Gecode::operator- ( const LinFloatExpr e)

Construct linear float expression as negative of linear float expression.

Definition at line 506 of file float-expr.cpp.

◆ operator*() [7/15]

LinFloatExpr Gecode::operator* ( const FloatVal a,
const FloatVar x 
)

Construct linear float expression as product of float coefficient and float variable.

Definition at line 511 of file float-expr.cpp.

◆ operator*() [8/15]

LinFloatExpr Gecode::operator* ( const FloatVar x,
const FloatVal a 
)

Construct linear float expression as product of float coefficient and float variable.

Definition at line 521 of file float-expr.cpp.

◆ operator*() [9/15]

LinFloatExpr Gecode::operator* ( const LinFloatExpr e,
const FloatVal a 
)

Construct linear float expression as product of float coefficient and linear float expression.

Definition at line 531 of file float-expr.cpp.

◆ operator*() [10/15]

LinFloatExpr Gecode::operator* ( const FloatVal a,
const LinFloatExpr e 
)

Construct linear float expression as product of float coefficient and linear float expression.

Definition at line 538 of file float-expr.cpp.

◆ sum() [6/9]

LinFloatExpr Gecode::sum ( const FloatVarArgs x)

Construct linear float expression as sum of float variables.

Definition at line 546 of file float-expr.cpp.

◆ sum() [7/9]

LinFloatExpr Gecode::sum ( const FloatValArgs a,
const FloatVarArgs x 
)

Construct linear float expression as sum of float variables with coefficients.

Definition at line 551 of file float-expr.cpp.

◆ operator==() [16/29]

LinFloatRel Gecode::operator== ( const FloatVal l,
const FloatVar r 
)

Construct linear float equality relation.

Definition at line 45 of file float-rel.cpp.

◆ operator==() [17/29]

LinFloatRel Gecode::operator== ( const FloatVal l,
const LinFloatExpr r 
)

Construct linear float equality relation.

Definition at line 49 of file float-rel.cpp.

◆ operator==() [18/29]

LinFloatRel Gecode::operator== ( const FloatVar l,
const FloatVal r 
)

Construct linear float equality relation.

Definition at line 53 of file float-rel.cpp.

◆ operator==() [19/29]

LinFloatRel Gecode::operator== ( const LinFloatExpr l,
const FloatVal r 
)

Construct linear float equality relation.

Definition at line 57 of file float-rel.cpp.

◆ operator==() [20/29]

LinFloatRel Gecode::operator== ( const FloatVar l,
const FloatVar r 
)

Construct linear float equality relation.

Definition at line 61 of file float-rel.cpp.

◆ operator==() [21/29]

LinFloatRel Gecode::operator== ( const FloatVar l,
const LinFloatExpr r 
)

Construct linear float equality relation.

Definition at line 65 of file float-rel.cpp.

◆ operator==() [22/29]

LinFloatRel Gecode::operator== ( const LinFloatExpr l,
const FloatVar r 
)

Construct linear float equality relation.

Definition at line 69 of file float-rel.cpp.

◆ operator==() [23/29]

LinFloatRel Gecode::operator== ( const LinFloatExpr l,
const LinFloatExpr r 
)

Construct linear float equality relation.

Definition at line 73 of file float-rel.cpp.

◆ operator!=() [16/29]

LinFloatRel Gecode::operator!= ( const FloatVal l,
const FloatVar r 
)

Construct linear float disequality relation.

Definition at line 78 of file float-rel.cpp.

◆ operator!=() [17/29]

LinFloatRel Gecode::operator!= ( const FloatVal l,
const LinFloatExpr r 
)

Construct linear float disequality relation.

Definition at line 82 of file float-rel.cpp.

◆ operator!=() [18/29]

LinFloatRel Gecode::operator!= ( const FloatVar l,
const FloatVal r 
)

Construct linear float disequality relation.

Definition at line 86 of file float-rel.cpp.

◆ operator!=() [19/29]

LinFloatRel Gecode::operator!= ( const LinFloatExpr l,
const FloatVal r 
)

Construct linear float disequality relation.

Definition at line 90 of file float-rel.cpp.

◆ operator!=() [20/29]

LinFloatRel Gecode::operator!= ( const FloatVar l,
const FloatVar r 
)

Construct linear float disequality relation.

Definition at line 94 of file float-rel.cpp.

◆ operator!=() [21/29]

LinFloatRel Gecode::operator!= ( const FloatVar l,
const LinFloatExpr r 
)

Construct linear float disequality relation.

Definition at line 98 of file float-rel.cpp.

◆ operator!=() [22/29]

LinFloatRel Gecode::operator!= ( const LinFloatExpr l,
const FloatVar r 
)

Construct linear float disequality relation.

Definition at line 102 of file float-rel.cpp.

◆ operator!=() [23/29]

LinFloatRel Gecode::operator!= ( const LinFloatExpr l,
const LinFloatExpr r 
)

Construct linear float disequality relation.

Definition at line 106 of file float-rel.cpp.

◆ operator<() [16/27]

LinFloatRel Gecode::operator< ( const FloatVal l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 143 of file float-rel.cpp.

◆ operator<() [17/27]

LinFloatRel Gecode::operator< ( const FloatVal l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 147 of file float-rel.cpp.

◆ operator<() [18/27]

LinFloatRel Gecode::operator< ( const FloatVar l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 151 of file float-rel.cpp.

◆ operator<() [19/27]

LinFloatRel Gecode::operator< ( const LinFloatExpr l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 155 of file float-rel.cpp.

◆ operator<() [20/27]

LinFloatRel Gecode::operator< ( const FloatVar l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 159 of file float-rel.cpp.

◆ operator<() [21/27]

LinFloatRel Gecode::operator< ( const FloatVar l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 163 of file float-rel.cpp.

◆ operator<() [22/27]

LinFloatRel Gecode::operator< ( const LinFloatExpr l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 167 of file float-rel.cpp.

◆ operator<() [23/27]

LinFloatRel Gecode::operator< ( const LinFloatExpr l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 171 of file float-rel.cpp.

◆ operator<=() [16/29]

LinFloatRel Gecode::operator<= ( const FloatVal l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 110 of file float-rel.cpp.

◆ operator<=() [17/29]

LinFloatRel Gecode::operator<= ( const FloatVal l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 114 of file float-rel.cpp.

◆ operator<=() [18/29]

LinFloatRel Gecode::operator<= ( const FloatVar l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 118 of file float-rel.cpp.

◆ operator<=() [19/29]

LinFloatRel Gecode::operator<= ( const LinFloatExpr l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 122 of file float-rel.cpp.

◆ operator<=() [20/29]

LinFloatRel Gecode::operator<= ( const FloatVar l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 126 of file float-rel.cpp.

◆ operator<=() [21/29]

LinFloatRel Gecode::operator<= ( const FloatVar l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 130 of file float-rel.cpp.

◆ operator<=() [22/29]

LinFloatRel Gecode::operator<= ( const LinFloatExpr l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 134 of file float-rel.cpp.

◆ operator<=() [23/29]

LinFloatRel Gecode::operator<= ( const LinFloatExpr l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 138 of file float-rel.cpp.

◆ operator>() [16/27]

LinFloatRel Gecode::operator> ( const FloatVal l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 210 of file float-rel.cpp.

◆ operator>() [17/27]

LinFloatRel Gecode::operator> ( const FloatVal l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 214 of file float-rel.cpp.

◆ operator>() [18/27]

LinFloatRel Gecode::operator> ( const FloatVar l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 218 of file float-rel.cpp.

◆ operator>() [19/27]

LinFloatRel Gecode::operator> ( const LinFloatExpr l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 222 of file float-rel.cpp.

◆ operator>() [20/27]

LinFloatRel Gecode::operator> ( const FloatVar l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 226 of file float-rel.cpp.

◆ operator>() [21/27]

LinFloatRel Gecode::operator> ( const FloatVar l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 230 of file float-rel.cpp.

◆ operator>() [22/27]

LinFloatRel Gecode::operator> ( const LinFloatExpr l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 234 of file float-rel.cpp.

◆ operator>() [23/27]

LinFloatRel Gecode::operator> ( const LinFloatExpr l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 238 of file float-rel.cpp.

◆ operator>=() [16/29]

LinFloatRel Gecode::operator>= ( const FloatVal l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 177 of file float-rel.cpp.

◆ operator>=() [17/29]

LinFloatRel Gecode::operator>= ( const FloatVal l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 181 of file float-rel.cpp.

◆ operator>=() [18/29]

LinFloatRel Gecode::operator>= ( const FloatVar l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 185 of file float-rel.cpp.

◆ operator>=() [19/29]

LinFloatRel Gecode::operator>= ( const LinFloatExpr l,
const FloatVal r 
)

Construct linear float inequality relation.

Definition at line 189 of file float-rel.cpp.

◆ operator>=() [20/29]

LinFloatRel Gecode::operator>= ( const FloatVar l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 193 of file float-rel.cpp.

◆ operator>=() [21/29]

LinFloatRel Gecode::operator>= ( const FloatVar l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 197 of file float-rel.cpp.

◆ operator>=() [22/29]

LinFloatRel Gecode::operator>= ( const LinFloatExpr l,
const FloatVar r 
)

Construct linear float inequality relation.

Definition at line 201 of file float-rel.cpp.

◆ operator>=() [23/29]

LinFloatRel Gecode::operator>= ( const LinFloatExpr l,
const LinFloatExpr r 
)

Construct linear float inequality relation.

Definition at line 205 of file float-rel.cpp.

◆ singleton()

SetExpr Gecode::singleton ( const LinIntExpr e)

Singleton expression.

Definition at line 691 of file set-expr.cpp.

◆ operator-() [29/30]

SetExpr Gecode::operator- ( const SetExpr e)

Complement expression.

Definition at line 683 of file set-expr.cpp.

◆ operator&()

SetExpr Gecode::operator& ( const SetExpr l,
const SetExpr r 
)

Intersection of set expressions.

Definition at line 671 of file set-expr.cpp.

◆ operator|()

SetExpr Gecode::operator| ( const SetExpr l,
const SetExpr r 
)

Union of set expressions.

Definition at line 675 of file set-expr.cpp.

◆ operator+() [24/29]

SetExpr Gecode::operator+ ( const SetExpr l,
const SetExpr r 
)

Disjoint union of set expressions.

Definition at line 679 of file set-expr.cpp.

◆ operator-() [30/30]

SetExpr Gecode::operator- ( const SetExpr l,
const SetExpr r 
)

Difference of set expressions.

Definition at line 687 of file set-expr.cpp.

◆ inter()

SetExpr Gecode::inter ( const SetVarArgs x)

Intersection of set variables.

Definition at line 696 of file set-expr.cpp.

◆ setunion()

SetExpr Gecode::setunion ( const SetVarArgs x)

Union of set variables.

Definition at line 705 of file set-expr.cpp.

◆ setdunion()

SetExpr Gecode::setdunion ( const SetVarArgs x)

Disjoint union of set variables.

Definition at line 714 of file set-expr.cpp.

◆ cardinality()

LinIntExpr Gecode::cardinality ( const SetExpr e)

Cardinality of set expression.

Definition at line 817 of file set-expr.cpp.

◆ min() [1/5]

LinIntExpr Gecode::min ( const SetExpr e)

Minimum element of set expression.

Definition at line 822 of file set-expr.cpp.

◆ max() [1/5]

LinIntExpr Gecode::max ( const SetExpr e)

Minimum element of set expression.

Definition at line 827 of file set-expr.cpp.

◆ operator==() [24/29]

SetRel Gecode::operator== ( const SetExpr e0,
const SetExpr e1 
)

Equality of set expressions.

Definition at line 47 of file set-rel.cpp.

◆ operator!=() [24/29]

SetRel Gecode::operator!= ( const SetExpr e0,
const SetExpr e1 
)

Disequality of set expressions.

Definition at line 51 of file set-rel.cpp.

◆ operator<=() [24/29]

SetCmpRel Gecode::operator<= ( const SetExpr e0,
const SetExpr e1 
)

Subset of set expressions.

Definition at line 54 of file set-rel.cpp.

◆ operator<=() [25/29]

BoolExpr Gecode::operator<= ( const SetCmpRel r,
const SetExpr l 
)

Subset of set expressions.

Definition at line 58 of file set-rel.cpp.

◆ operator>=() [24/29]

SetCmpRel Gecode::operator>= ( const SetExpr e0,
const SetExpr e1 
)

Superset of set expressions.

Definition at line 63 of file set-rel.cpp.

◆ operator>=() [25/29]

BoolExpr Gecode::operator>= ( const SetCmpRel r,
const SetExpr l 
)

Superset of set expressions.

Definition at line 67 of file set-rel.cpp.

◆ operator||() [1/2]

SetRel Gecode::operator|| ( const SetExpr e0,
const SetExpr e1 
)

Disjointness of set expressions.

Definition at line 71 of file set-rel.cpp.

◆ operator!()

BoolExpr Gecode::operator! ( const BoolExpr e)

Negated Boolean expression.

Definition at line 600 of file bool-expr.cpp.

◆ operator&&()

BoolExpr Gecode::operator&& ( const BoolExpr l,
const BoolExpr r 
)

Conjunction of Boolean expressions.

Definition at line 587 of file bool-expr.cpp.

◆ operator||() [2/2]

BoolExpr Gecode::operator|| ( const BoolExpr l,
const BoolExpr r 
)

Disjunction of Boolean expressions.

Definition at line 591 of file bool-expr.cpp.

◆ operator^()

BoolExpr Gecode::operator^ ( const BoolExpr l,
const BoolExpr r 
)

Exclusive-or of Boolean expressions.

Definition at line 595 of file bool-expr.cpp.

◆ operator!=() [25/29]

BoolExpr Gecode::operator!= ( const BoolExpr l,
const BoolExpr r 
)

Non-equivalence of Boolean expressions.

Definition at line 605 of file bool-expr.cpp.

◆ operator==() [25/29]

BoolExpr Gecode::operator== ( const BoolExpr l,
const BoolExpr r 
)

Equivalence of Boolean expressions.

Definition at line 609 of file bool-expr.cpp.

◆ operator>>()

BoolExpr Gecode::operator>> ( const BoolExpr l,
const BoolExpr r 
)

Implication of Boolean expressions.

Definition at line 613 of file bool-expr.cpp.

◆ operator<<()

BoolExpr Gecode::operator<< ( const BoolExpr l,
const BoolExpr r 
)

Reverse implication of Boolean expressions.

Definition at line 617 of file bool-expr.cpp.

◆ dom() [1/8]

BoolExpr Gecode::dom ( const IntVar x,
int  n 
)

Return expression for $ x=n$.

Definition at line 164 of file dom.cpp.

◆ dom() [2/8]

BoolExpr Gecode::dom ( const IntVar x,
int  l,
int  u 
)

Return expression for $ l\leq x \leq m$.

Definition at line 169 of file dom.cpp.

◆ dom() [3/8]

BoolExpr Gecode::dom ( const IntVar x,
const IntSet s 
)

Return expression for $ x \in s$.

Definition at line 174 of file dom.cpp.

◆ dom() [4/8]

BoolExpr Gecode::dom ( const SetVar x,
SetRelType  rt,
int  i 
)

Return expression for $ x \sim_{rt} \{i\}$.

Definition at line 180 of file dom.cpp.

◆ dom() [5/8]

BoolExpr Gecode::dom ( const SetVar x,
SetRelType  rt,
int  i,
int  j 
)

Return expression for $ x \sim_{rt} \{i,\dots,j\}$.

Definition at line 185 of file dom.cpp.

◆ dom() [6/8]

BoolExpr Gecode::dom ( const SetVar x,
SetRelType  rt,
const IntSet s 
)

Return expression for $ x \sim_{rt} s$.

Definition at line 190 of file dom.cpp.

◆ dom() [7/8]

BoolExpr Gecode::dom ( const FloatVar x,
const FloatVal n 
)

Return expression for $ x=n$.

Definition at line 197 of file dom.cpp.

◆ dom() [8/8]

BoolExpr Gecode::dom ( const FloatVar x,
FloatNum  l,
FloatNum  u 
)

Return expression for $ l\leq x \leq u$.

Definition at line 202 of file dom.cpp.

◆ operator==() [26/29]

BoolExpr Gecode::operator== ( const SetExpr x,
const LinIntExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i=x$.

Definition at line 118 of file set-rel.cpp.

◆ operator==() [27/29]

BoolExpr Gecode::operator== ( const LinIntExpr x,
const SetExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x=i$.

Definition at line 122 of file set-rel.cpp.

◆ operator==() [28/29]

BoolExpr Gecode::operator== ( const LinIntExpr ,
IntSet   
)
delete

Prevent comparison with IntSet.

◆ operator==() [29/29]

BoolExpr Gecode::operator== ( IntSet  ,
const LinIntExpr  
)
delete

Prevent comparison with IntSet.

◆ operator!=() [26/29]

BoolExpr Gecode::operator!= ( const SetExpr x,
const LinIntExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i\neq x$.

Definition at line 127 of file set-rel.cpp.

◆ operator!=() [27/29]

BoolExpr Gecode::operator!= ( const LinIntExpr x,
const SetExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x\neq i$.

Definition at line 132 of file set-rel.cpp.

◆ operator!=() [28/29]

BoolExpr Gecode::operator!= ( const LinIntExpr ,
IntSet   
)
delete

Prevent comparison with IntSet.

◆ operator!=() [29/29]

BoolExpr Gecode::operator!= ( IntSet  ,
const LinIntExpr  
)
delete

Prevent comparison with IntSet.

◆ operator<=() [26/29]

BoolExpr Gecode::operator<= ( const SetExpr x,
const LinIntExpr y 
)

Return expression for $|s|\geq 6 \land \forall i\in s:\ i\leq x$.

Definition at line 136 of file set-rel.cpp.

◆ operator<=() [27/29]

BoolExpr Gecode::operator<= ( const LinIntExpr x,
const SetExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x\leq i$.

Definition at line 141 of file set-rel.cpp.

◆ operator<=() [28/29]

BoolExpr Gecode::operator<= ( const LinIntExpr ,
IntSet   
)
delete

Prevent comparison with IntSet.

◆ operator<=() [29/29]

BoolExpr Gecode::operator<= ( IntSet  ,
const LinIntExpr  
)
delete

Prevent comparison with IntSet.

◆ operator<() [24/27]

BoolExpr Gecode::operator< ( const SetExpr x,
const LinIntExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i<x$.

Definition at line 146 of file set-rel.cpp.

◆ operator<() [25/27]

BoolExpr Gecode::operator< ( const LinIntExpr x,
const SetExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x<i$.

Definition at line 151 of file set-rel.cpp.

◆ operator<() [26/27]

BoolExpr Gecode::operator< ( const LinIntExpr ,
IntSet   
)
delete

Prevent comparison with IntSet.

◆ operator<() [27/27]

BoolExpr Gecode::operator< ( IntSet  ,
const LinIntExpr  
)
delete

Prevent comparison with IntSet.

◆ operator>=() [26/29]

BoolExpr Gecode::operator>= ( const SetExpr x,
const LinIntExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i\geq x$.

Definition at line 157 of file set-rel.cpp.

◆ operator>=() [27/29]

BoolExpr Gecode::operator>= ( const LinIntExpr x,
const SetExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x\geq i$.

Definition at line 162 of file set-rel.cpp.

◆ operator>=() [28/29]

BoolExpr Gecode::operator>= ( const LinIntExpr ,
IntSet   
)
delete

Prevent comparison with IntSet.

◆ operator>=() [29/29]

BoolExpr Gecode::operator>= ( IntSet  ,
const LinIntExpr  
)
delete

Prevent comparison with IntSet.

◆ operator>() [24/27]

BoolExpr Gecode::operator> ( const SetExpr x,
const LinIntExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i>x$.

Definition at line 167 of file set-rel.cpp.

◆ operator>() [25/27]

BoolExpr Gecode::operator> ( const LinIntExpr x,
const SetExpr y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x>i$.

Definition at line 172 of file set-rel.cpp.

◆ operator>() [26/27]

BoolExpr Gecode::operator> ( const LinIntExpr ,
IntSet   
)
delete

Prevent comparison with IntSet.

◆ operator>() [27/27]

BoolExpr Gecode::operator> ( IntSet  ,
const LinIntExpr  
)
delete

Prevent comparison with IntSet.

◆ expr() [1/4]

IntVar Gecode::expr ( Home  home,
const LinIntExpr e,
const IntPropLevels ipls 
)

Post linear expression and return its value.

Definition at line 915 of file int-expr.cpp.

◆ expr() [2/4]

FloatVar Gecode::expr ( Home  home,
const LinFloatExpr e 
)

Post float expression and return its value.

Definition at line 556 of file float-expr.cpp.

◆ expr() [3/4]

SetVar Gecode::expr ( Home  home,
const SetExpr e 
)

Post set expression and return its value.

Definition at line 837 of file set-expr.cpp.

◆ expr() [4/4]

BoolVar Gecode::expr ( Home  home,
const BoolExpr e,
const IntPropLevels ipls 
)

Post Boolean expression and return its value.

Definition at line 629 of file bool-expr.cpp.

◆ rel()

void Gecode::rel ( Home  home,
const BoolExpr e,
const IntPropLevels ipls 
)

Post Boolean relation.

Definition at line 638 of file bool-expr.cpp.

◆ operator*() [11/15]

LinIntExpr Gecode::operator* ( const LinIntExpr e0,
const LinIntExpr e1 
)

Return expression for $x\cdot y$.

Definition at line 397 of file int-arith.cpp.

◆ operator/() [1/2]

LinIntExpr Gecode::operator/ ( const LinIntExpr e0,
const LinIntExpr e1 
)

Return expression for $x\ \mathrm{div}\ y$.

Definition at line 443 of file int-arith.cpp.

◆ operator%()

LinIntExpr Gecode::operator% ( const LinIntExpr e0,
const LinIntExpr e1 
)

Return expression for $x\ \mathrm{mod}\ y$.

Definition at line 453 of file int-arith.cpp.

◆ abs() [1/2]

LinIntExpr Gecode::abs ( const LinIntExpr e)

Return expression for $|e|$.

Definition at line 300 of file int-arith.cpp.

◆ min() [2/5]

LinIntExpr Gecode::min ( const LinIntExpr e0,
const LinIntExpr e1 
)

Return expression for $\min(x,y)$.

Definition at line 311 of file int-arith.cpp.

◆ min() [3/5]

LinIntExpr Gecode::min ( const IntVarArgs x)

Return expression for $\min(x)$.

Definition at line 377 of file int-arith.cpp.

◆ max() [2/5]

LinIntExpr Gecode::max ( const LinIntExpr e0,
const LinIntExpr e1 
)

Return expression for $\max(x,y)$.

Definition at line 344 of file int-arith.cpp.

◆ max() [3/5]

LinIntExpr Gecode::max ( const IntVarArgs x)

Return expression for $\max(x)$.

Definition at line 387 of file int-arith.cpp.

◆ sqr() [1/2]

LinIntExpr Gecode::sqr ( const LinIntExpr e)

Return expression for $x^2$.

Definition at line 407 of file int-arith.cpp.

◆ sqrt() [1/2]

LinIntExpr Gecode::sqrt ( const LinIntExpr e)

Return expression for $\lfloor\sqrt{x}\rfloor$.

Definition at line 416 of file int-arith.cpp.

◆ pow() [1/2]

LinIntExpr Gecode::pow ( const LinIntExpr e,
int  n 
)

Return expression for $x^n$.

Definition at line 425 of file int-arith.cpp.

◆ nroot() [1/2]

LinIntExpr Gecode::nroot ( const LinIntExpr e,
int  n 
)

Return expression for $\lfloor\sqrt[n]{x}\rfloor$.

Definition at line 434 of file int-arith.cpp.

◆ element() [1/3]

LinIntExpr Gecode::element ( const IntVarArgs x,
const LinIntExpr e 
)

Return expression for $x[y]$.

Definition at line 463 of file int-arith.cpp.

◆ element() [2/3]

BoolExpr Gecode::element ( const BoolVarArgs b,
const LinIntExpr idx 
)

Return expression for $x[y]$.

Definition at line 694 of file bool-expr.cpp.

◆ element() [3/3]

LinIntExpr Gecode::element ( const IntArgs x,
const LinIntExpr e 
)

Return expression for $x[y]$.

Definition at line 474 of file int-arith.cpp.

◆ ite()

LinIntExpr Gecode::ite ( const BoolExpr b,
const LinIntExpr e0,
const LinIntExpr e1 
)

Return expression for if-then-else $b?x:y$.

Definition at line 485 of file int-arith.cpp.

◆ operator*() [12/15]

LinFloatExpr Gecode::operator* ( const FloatVar e0,
const FloatVar e1 
)

Return expression as product of float variables.

Definition at line 425 of file float-arith.cpp.

◆ operator*() [13/15]

LinFloatExpr Gecode::operator* ( const FloatVar e0,
const LinFloatExpr e1 
)

Return expression as product of float variable and linear float expression.

Definition at line 445 of file float-arith.cpp.

◆ operator*() [14/15]

LinFloatExpr Gecode::operator* ( const LinFloatExpr e0,
const FloatVar e1 
)

Return expression as product of linear float expression and float variable.

Definition at line 435 of file float-arith.cpp.

◆ abs() [2/2]

LinFloatExpr Gecode::abs ( const LinFloatExpr e)

Return expression for $|e|$.

Definition at line 328 of file float-arith.cpp.

◆ min() [4/5]

LinFloatExpr Gecode::min ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $\min(x,y)$.

Definition at line 339 of file float-arith.cpp.

◆ min() [5/5]

LinFloatExpr Gecode::min ( const FloatVarArgs x)

Return expression for $\min(x)$.

Definition at line 372 of file float-arith.cpp.

◆ max() [4/5]

LinFloatExpr Gecode::max ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $\max(x,y)$.

Definition at line 382 of file float-arith.cpp.

◆ max() [5/5]

LinFloatExpr Gecode::max ( const FloatVarArgs x)

Return expression for $\max(x)$.

Definition at line 415 of file float-arith.cpp.

◆ operator*() [15/15]

LinFloatExpr Gecode::operator* ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $x\cdot y$.

Definition at line 455 of file float-arith.cpp.

◆ operator/() [2/2]

LinFloatExpr Gecode::operator/ ( const LinFloatExpr e0,
const LinFloatExpr e1 
)

Return expression for $x/y$.

Definition at line 465 of file float-arith.cpp.

◆ sqr() [2/2]

LinFloatExpr Gecode::sqr ( const LinFloatExpr e)

Return expression for $x^2$.

Definition at line 475 of file float-arith.cpp.

◆ sqrt() [2/2]

LinFloatExpr Gecode::sqrt ( const LinFloatExpr e)

Return expression for $\sqrt{x}$.

Definition at line 484 of file float-arith.cpp.

◆ pow() [2/2]

LinFloatExpr Gecode::pow ( const LinFloatExpr e,
int  exp 
)

Return expression for $x^n$.

Definition at line 493 of file float-arith.cpp.

◆ nroot() [2/2]

LinFloatExpr Gecode::nroot ( const LinFloatExpr e,
int  exp 
)

Return expression for $x^{1/n}$.

Definition at line 502 of file float-arith.cpp.

◆ exp()

LinFloatExpr Gecode::exp ( const LinFloatExpr e)

Return expression for $ \mathrm{exp}(x)$.

Definition at line 513 of file float-arith.cpp.

◆ log()

LinFloatExpr Gecode::log ( const LinFloatExpr e)

Return expression for $ \mathrm{log}(x)$.

Definition at line 522 of file float-arith.cpp.

◆ asin()

LinFloatExpr Gecode::asin ( const LinFloatExpr e)

Return expression for $ \mathrm{asin}(x)$.

Definition at line 531 of file float-arith.cpp.

◆ sin()

LinFloatExpr Gecode::sin ( const LinFloatExpr e)

Return expression for $ \mathrm{sin}(x)$.

Definition at line 540 of file float-arith.cpp.

◆ acos()

LinFloatExpr Gecode::acos ( const LinFloatExpr e)

Return expression for $ \mathrm{acos}(x)$.

Definition at line 549 of file float-arith.cpp.

◆ cos()

LinFloatExpr Gecode::cos ( const LinFloatExpr e)

Return expression for $ \mathrm{cos}(x)$.

Definition at line 558 of file float-arith.cpp.

◆ atan()

LinFloatExpr Gecode::atan ( const LinFloatExpr e)

Return expression for $ \mathrm{atan}(x)$.

Definition at line 567 of file float-arith.cpp.

◆ tan()

LinFloatExpr Gecode::tan ( const LinFloatExpr e)

Return expression for $ \mathrm{tan}(x)$.

Definition at line 576 of file float-arith.cpp.

◆ channel() [1/5]

BoolVar Gecode::channel ( Home  home,
IntVar  x,
IntPropLevel  ipl 
)
inline

Return Boolean variable equal to $x$.

Definition at line 39 of file channel.hpp.

◆ channel() [2/5]

IntVar Gecode::channel ( Home  home,
BoolVar  b,
IntPropLevel  ipl 
)
inline

Return integer variable equal to $b$.

Definition at line 46 of file channel.hpp.

◆ channel() [3/5]

IntVar Gecode::channel ( Home  home,
FloatVar  f 
)
inline

Return integer variable equal to $f$.

Definition at line 54 of file channel.hpp.

◆ channel() [4/5]

SetVar Gecode::channel ( Home  home,
const IntVarArgs x,
IntPropLevel  ipl 
)
inline

Return set variable equal to $\{x_0,\dots,x_{n-1}\}$.

Definition at line 67 of file channel.hpp.

◆ atmost() [1/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
int  n,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq m$.

Supports domain consistent propagation only.

Definition at line 39 of file aliases.hpp.

◆ atmost() [2/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
IntVar  y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq m$.

Supports domain consistent propagation only.

Definition at line 44 of file aliases.hpp.

◆ atmost() [3/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
const IntArgs y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq m$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 49 of file aliases.hpp.

◆ atmost() [4/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
int  n,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\leq z$.

Supports domain consistent propagation only.

Definition at line 54 of file aliases.hpp.

◆ atmost() [5/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
IntVar  y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\leq z$.

Supports domain consistent propagation only.

Definition at line 59 of file aliases.hpp.

◆ atmost() [6/6]

void Gecode::atmost ( Home  home,
const IntVarArgs x,
const IntArgs y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\leq z$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 64 of file aliases.hpp.

◆ atleast() [1/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
int  n,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq m$.

Supports domain consistent propagation only.

Definition at line 70 of file aliases.hpp.

◆ atleast() [2/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
IntVar  y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq m$.

Supports domain consistent propagation only.

Definition at line 75 of file aliases.hpp.

◆ atleast() [3/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
const IntArgs y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq m$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 80 of file aliases.hpp.

◆ atleast() [4/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
int  n,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\geq z$.

Supports domain consistent propagation only.

Definition at line 85 of file aliases.hpp.

◆ atleast() [5/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
IntVar  y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\geq z$.

Supports domain consistent propagation only.

Definition at line 90 of file aliases.hpp.

◆ atleast() [6/6]

void Gecode::atleast ( Home  home,
const IntVarArgs x,
const IntArgs y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}\geq z$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 95 of file aliases.hpp.

◆ exactly() [1/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
int  n,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=m$.

Supports domain consistent propagation only.

Definition at line 101 of file aliases.hpp.

◆ exactly() [2/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
IntVar  y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=m$.

Supports domain consistent propagation only.

Definition at line 106 of file aliases.hpp.

◆ exactly() [3/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
const IntArgs y,
int  m,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=m$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 111 of file aliases.hpp.

◆ exactly() [4/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
int  n,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}=z$.

Supports domain consistent propagation only.

Definition at line 116 of file aliases.hpp.

◆ exactly() [5/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
IntVar  y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}=z$.

Supports domain consistent propagation only.

Definition at line 121 of file aliases.hpp.

◆ exactly() [6/6]

void Gecode::exactly ( Home  home,
const IntVarArgs x,
const IntArgs y,
IntVar  z,
IntPropLevel  ipl = IPL_DEF 
)
inline

Post constraint $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y_i\}=z$.

Supports domain consistent propagation only.

Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.

Definition at line 126 of file aliases.hpp.

◆ lex() [1/2]

void Gecode::lex ( Home  home,
const IntVarArgs x,
IntRelType  r,
const IntVarArgs y,
IntPropLevel  ipl 
)
inline

Post lexical order between x and y.

Definition at line 132 of file aliases.hpp.

◆ lex() [2/2]

void Gecode::lex ( Home  home,
const BoolVarArgs x,
IntRelType  r,
const BoolVarArgs y,
IntPropLevel  ipl 
)
inline

Post lexical order between x and y.

Definition at line 137 of file aliases.hpp.

◆ values()

void Gecode::values ( Home  home,
const IntVarArgs x,
IntSet  y,
IntPropLevel  ipl 
)
inline

Post constraint $\{x_0,\dots,x_{n-1}\}=y$.

Definition at line 143 of file aliases.hpp.

◆ channel() [5/5]

void Gecode::channel ( Home  home,
const IntVarArgs x,
SetVar  y 
)
inline

Post constraint $\{x_0,\dots,x_{n-1}\}=y$.

In addition to constraining y to the union of the x, this also posts an nvalue constraint for additional cardinality propagation.

Definition at line 152 of file aliases.hpp.

◆ range()

void Gecode::range ( Home  home,
const IntVarArgs x,
SetVar  y,
SetVar  z 
)
inline

Post constraint $\bigcup_{i\in y}\{x_i\}=z$.

Definition at line 158 of file aliases.hpp.

◆ roots()

void Gecode::roots ( Home  home,
const IntVarArgs x,
SetVar  y,
SetVar  z 
)
inline

Post constraint $\bigcup_{i\in z}\{j\ |\ x_j=i\}=z$.

Note that this creates one temporary set variable for each element in the upper bound of z, so make sure that the bound is tight.

Definition at line 163 of file aliases.hpp.

◆ operator+() [25/29]

template<class A >
Slice< A >::ArgsType Gecode::operator+ ( const Slice< A > &  x,
const Slice< A > &  y 
)

Concatenate x and y.

Definition at line 91 of file matrix.hpp.

◆ operator+() [26/29]

template<class A >
Slice< A >::ArgsType Gecode::operator+ ( const Slice< A > &  x,
const typename ArrayTraits< A >::ArgsType &  y 
)

Concatenate x and y.

Definition at line 99 of file matrix.hpp.

◆ operator+() [27/29]

template<class A >
Slice< A >::ArgsType Gecode::operator+ ( const typename ArrayTraits< A >::ArgsType &  x,
const Slice< A > &  y 
)

Concatenate x and y.

Definition at line 106 of file matrix.hpp.

◆ operator+() [28/29]

template<class A >
Slice< A >::ArgsType Gecode::operator+ ( const Slice< A > &  x,
const typename ArrayTraits< A >::ValueType &  y 
)

Concatenate x and y.

Definition at line 113 of file matrix.hpp.

◆ operator+() [29/29]

template<class A >
Slice< A >::ArgsType Gecode::operator+ ( const typename ArrayTraits< A >::ValueType &  x,
const Slice< A > &  y 
)

Concatenate x and y.

Definition at line 120 of file matrix.hpp.

◆ sum() [8/9]

LinIntExpr Gecode::sum ( const Slice< IntArgs > &  slice)

Construct linear expression as sum of IntArgs Slice elements.

Definition at line 896 of file int-expr.cpp.

◆ sum() [9/9]

LinIntExpr Gecode::sum ( const Matrix< IntArgs > &  matrix)

Construct linear expression as sum of IntArgs Matrix elements.

Definition at line 901 of file int-expr.cpp.