Generated on Fri Jan 10 2020 11:38:25 for Gecode by doxygen 1.8.16
set-rel.cpp File Reference

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 

Functions

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