Generated on Wed Jul 21 2021 00:00:00 for Gecode by doxygen 1.9.1
dom.cpp File Reference
#include <gecode/minimodel.hh>
#include <cstddef>
#include <tuple>
#include <utility>

Go to the source code of this file.

Namespaces

 cxx14
 
 cxx14::detail
 

Functions

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...
 

Function Documentation

◆ 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.