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