Generated on Sun Feb 17 15:24:49 2019 for Gecode by doxygen 1.6.3

Reified expressions
[Direct modeling support]

Functions

BoolExpr Gecode::dom (const IntVar &x, int n)
 Return expression for $ x=n$.
BoolExpr Gecode::dom (const IntVar &x, int l, int m)
 Return expression for $ l\leq x \leq m$.
BoolExpr Gecode::dom (const IntVar &x, const IntSet &s)
 Return expression for $ x \in s$.
BoolExpr Gecode::dom (const SetVar &x, SetRelType rt, int i)
 Return expression for $ x \sim_{rt} \{i\}$.
BoolExpr Gecode::dom (const SetVar &x, SetRelType rt, int i, int j)
 Return expression for $ x \sim_{rt} \{i,\dots,j\}$.
BoolExpr Gecode::dom (const SetVar &x, SetRelType rt, const IntSet &s)
 Return expression for $ x \sim_{rt} s$.
BoolExpr Gecode::dom (const FloatVar &x, const FloatVal &n)
 Return expression for $ x=n$.
BoolExpr Gecode::dom (const FloatVar &x, FloatNum l, FloatNum u)
 Return expression for $ l\leq x \leq u$.

Function Documentation

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

Return expression for $ x=n$.

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

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

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

Return expression for $ x \in s$.

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

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

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

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

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

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

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

Return expression for $ x=n$.

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

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