set-expr.cpp File Reference
(Revision: 11553)
#include <gecode/minimodel.hh>
Go to the source code of this file.
Classes | |
class | Gecode::MiniModel::SetNonLinExpr |
Integer valued set expressions. More... | |
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::MiniModel |
Minimalistic modeling support. | |
Functions | |
SetExpr | Gecode::operator& (const SetExpr &, const SetExpr &) |
Intersection of set expressions. | |
SetExpr | Gecode::operator| (const SetExpr &, const SetExpr &) |
Union of set expressions. | |
SetExpr | Gecode::operator+ (const SetExpr &, const SetExpr &) |
Disjoint union of set expressions. | |
SetExpr | Gecode::operator- (const SetExpr &) |
Complement expression. | |
SetExpr | Gecode::operator- (const SetExpr &, const SetExpr &) |
Difference of set expressions. | |
SetExpr | Gecode::singleton (const LinExpr &) |
Singleton expression. | |
SetExpr | Gecode::inter (const SetVarArgs &) |
Intersection of set variables. | |
SetExpr | Gecode::setunion (const SetVarArgs &) |
Union of set variables. | |
SetExpr | Gecode::setdunion (const SetVarArgs &) |
Disjoint union of set variables. | |
LinExpr | Gecode::cardinality (const SetExpr &) |
Cardinality of set expression. | |
LinExpr | Gecode::min (const SetExpr &) |
Minimum element of set expression. | |
LinExpr | Gecode::max (const SetExpr &) |
Minimum element of set expression. | |
SetVar | Gecode::expr (Home home, const SetExpr &e) |
Post set expression and return its value. |