dom.cpp File Reference

#include <gecode/minimodel.hh>
#include <cstddef>
#include <tuple>
#include <utility>

Namespaces
namespace	cxx14
namespace	cxx14::detail
namespace	Gecode
	Gecode toplevel namespace
Functions
BoolExpr	Gecode::dom (const IntVar &x, int n)
	Return expression for .
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 .
BoolExpr	Gecode::dom (const FloatVar &x, FloatNum l, FloatNum u)
	Return expression for $l\leq x \leq u$ .

Variable Documentation

std::tuple<Args...> _args

Storage for the arguments.

Definition at line 82 of file dom.cpp.