#include <gecode/minimodel.hh>
Go to the source code of this file.
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 ![]() | |
BoolExpr | Gecode::operator== (const LinIntExpr &x, const SetExpr &s) |
Return expression for ![]() | |
BoolExpr | Gecode::operator!= (const SetExpr &s, const LinIntExpr &x) |
Return expression for ![]() | |
BoolExpr | Gecode::operator!= (const LinIntExpr &x, const SetExpr &s) |
Return expression for ![]() | |
BoolExpr | Gecode::operator<= (const SetExpr &s, const LinIntExpr &x) |
Return expression for ![]() | |
BoolExpr | Gecode::operator<= (const LinIntExpr &x, const SetExpr &s) |
Return expression for ![]() | |
BoolExpr | Gecode::operator< (const SetExpr &s, const LinIntExpr &x) |
Return expression for ![]() | |
BoolExpr | Gecode::operator< (const LinIntExpr &x, const SetExpr &s) |
Return expression for ![]() | |
BoolExpr | Gecode::operator>= (const SetExpr &s, const LinIntExpr &x) |
Return expression for ![]() | |
BoolExpr | Gecode::operator>= (const LinIntExpr &x, const SetExpr &s) |
Return expression for ![]() | |
BoolExpr | Gecode::operator> (const SetExpr &s, const LinIntExpr &x) |
Return expression for ![]() | |
BoolExpr | Gecode::operator> (const LinIntExpr &x, const SetExpr &s) |
Return expression for ![]() | |
Equality of set expressions.
Definition at line 47 of file set-rel.cpp.
Disequality of set expressions.
Definition at line 51 of file set-rel.cpp.
Subset of set expressions.
Definition at line 54 of file set-rel.cpp.
Subset of set expressions.
Definition at line 58 of file set-rel.cpp.
Superset of set expressions.
Definition at line 63 of file set-rel.cpp.
Superset of set expressions.
Definition at line 67 of file set-rel.cpp.
Disjointness of set expressions.
Definition at line 71 of file set-rel.cpp.
BoolExpr Gecode::operator== | ( | const SetExpr & | x, |
const LinIntExpr & | y | ||
) |
Return expression for .
Definition at line 118 of file set-rel.cpp.
BoolExpr Gecode::operator== | ( | const LinIntExpr & | x, |
const SetExpr & | y | ||
) |
Return expression for .
Definition at line 122 of file set-rel.cpp.
BoolExpr Gecode::operator!= | ( | const SetExpr & | x, |
const LinIntExpr & | y | ||
) |
Return expression for .
Definition at line 127 of file set-rel.cpp.
BoolExpr Gecode::operator!= | ( | const LinIntExpr & | x, |
const SetExpr & | y | ||
) |
Return expression for .
Definition at line 132 of file set-rel.cpp.
BoolExpr Gecode::operator<= | ( | const SetExpr & | x, |
const LinIntExpr & | y | ||
) |
Return expression for .
Definition at line 136 of file set-rel.cpp.
BoolExpr Gecode::operator<= | ( | const LinIntExpr & | x, |
const SetExpr & | y | ||
) |
Return expression for .
Definition at line 141 of file set-rel.cpp.
BoolExpr Gecode::operator< | ( | const SetExpr & | x, |
const LinIntExpr & | y | ||
) |
Return expression for .
Definition at line 146 of file set-rel.cpp.
BoolExpr Gecode::operator< | ( | const LinIntExpr & | x, |
const SetExpr & | y | ||
) |
Return expression for .
Definition at line 151 of file set-rel.cpp.
BoolExpr Gecode::operator>= | ( | const SetExpr & | x, |
const LinIntExpr & | y | ||
) |
Return expression for .
Definition at line 157 of file set-rel.cpp.
BoolExpr Gecode::operator>= | ( | const LinIntExpr & | x, |
const SetExpr & | y | ||
) |
Return expression for .
Definition at line 162 of file set-rel.cpp.
BoolExpr Gecode::operator> | ( | const SetExpr & | x, |
const LinIntExpr & | y | ||
) |
Return expression for .
Definition at line 167 of file set-rel.cpp.
BoolExpr Gecode::operator> | ( | const LinIntExpr & | x, |
const SetExpr & | y | ||
) |
Return expression for .
Definition at line 172 of file set-rel.cpp.