set-rel.cpp File Reference

#include <gecode/minimodel.hh>

Namespaces
namespace	Gecode
	Gecode toplevel namespace
Functions
SetRel	Gecode::operator== (const SetExpr &, const SetExpr &)
	Equality of set expressions.
SetRel	Gecode::operator!= (const SetExpr &, const SetExpr &)
	Disequality of set expressions.
SetCmpRel	Gecode::operator<= (const SetExpr &, const SetExpr &)
	Subset of set expressions.
BoolExpr	Gecode::operator<= (const SetCmpRel &, const SetExpr &)
	Subset of set expressions.
SetCmpRel	Gecode::operator>= (const SetExpr &, const SetExpr &)
	Superset of set expressions.
BoolExpr	Gecode::operator>= (const SetCmpRel &, const SetExpr &)
	Superset of set expressions.
SetRel	Gecode::operator\|\| (const SetExpr &, const SetExpr &)
	Disjointness of set expressions.
BoolExpr	Gecode::operator== (const SetExpr &s, const LinIntExpr &x)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ i=x$ .
BoolExpr	Gecode::operator== (const LinIntExpr &x, const SetExpr &s)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ x=i$ .
BoolExpr	Gecode::operator!= (const SetExpr &s, const LinIntExpr &x)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ i\neq x$ .
BoolExpr	Gecode::operator!= (const LinIntExpr &x, const SetExpr &s)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ x\neq i$ .
BoolExpr	Gecode::operator<= (const SetExpr &s, const LinIntExpr &x)
	Return expression for $\|s\|\geq 6 \land \forall i\in s:\ i\leq x$ .
BoolExpr	Gecode::operator<= (const LinIntExpr &x, const SetExpr &s)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ x\leq i$ .
BoolExpr	Gecode::operator< (const SetExpr &s, const LinIntExpr &x)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ i<x$ .
BoolExpr	Gecode::operator< (const LinIntExpr &x, const SetExpr &s)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ x<i$ .
BoolExpr	Gecode::operator>= (const SetExpr &s, const LinIntExpr &x)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ i\geq x$ .
BoolExpr	Gecode::operator>= (const LinIntExpr &x, const SetExpr &s)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ x\geq i$ .
BoolExpr	Gecode::operator> (const SetExpr &s, const LinIntExpr &x)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ i>x$ .
BoolExpr	Gecode::operator> (const LinIntExpr &x, const SetExpr &s)
	Return expression for $\|s\|\geq 1 \land \forall i\in s:\ x>i$ .