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.