Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
dom.cpp File Reference
#include <gecode/minimodel.hh>
#include <cstddef>
#include <tuple>
#include <utility>

Go to the source code of this file.

Namespaces

namespace  cxx14
 
namespace  cxx14::detail
 
namespace  Gecode
 Gecode toplevel namespace
 

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