Functions
SetExpr	Gecode::singleton (const LinIntExpr &)
	Singleton expression. More...

SetExpr	Gecode::operator- (const SetExpr &)
	Complement expression. More...

SetExpr	Gecode::operator& (const SetExpr &, const SetExpr &)
	Intersection of set expressions. More...

SetExpr	Gecode::operator\| (const SetExpr &, const SetExpr &)
	Union of set expressions. More...

SetExpr	Gecode::operator+ (const SetExpr &, const SetExpr &)
	Disjoint union of set expressions. More...

SetExpr	Gecode::operator- (const SetExpr &, const SetExpr &)
	Difference of set expressions. More...

SetExpr	Gecode::inter (const SetVarArgs &)
	Intersection of set variables. More...

SetExpr	Gecode::setunion (const SetVarArgs &)
	Union of set variables. More...

SetExpr	Gecode::setdunion (const SetVarArgs &)
	Disjoint union of set variables. More...

LinIntExpr	Gecode::cardinality (const SetExpr &)
	Cardinality of set expression. More...

LinIntExpr	Gecode::min (const SetExpr &)
	Minimum element of set expression. More...

LinIntExpr	Gecode::max (const SetExpr &)
	Minimum element of set expression. More...

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

Detailed Description

Set expressions and relations can be freely composed of variables with the usual connectives.

Function Documentation

◆ singleton()

SetExpr Gecode::singleton ( const LinIntExpr & e )

Singleton expression.

Definition at line 691 of file set-expr.cpp.

◆ operator-() [1/2]

SetExpr Gecode::operator- ( const SetExpr & e )

Complement expression.

Definition at line 683 of file set-expr.cpp.

◆ operator&()

SetExpr Gecode::operator &	(	const SetExpr &	,
		const SetExpr &
	)

Intersection of set expressions.

Definition at line 671 of file set-expr.cpp.

◆ operator|()

SetExpr Gecode::operator\|	(	const SetExpr &	l,
		const SetExpr &	r
	)

Union of set expressions.

Definition at line 675 of file set-expr.cpp.

◆ operator+()

SetExpr Gecode::operator+	(	const SetExpr &	l,
		const SetExpr &	r
	)

Disjoint union of set expressions.

Definition at line 679 of file set-expr.cpp.

◆ operator-() [2/2]

SetExpr Gecode::operator-	(	const SetExpr &	l,
		const SetExpr &	r
	)

Difference of set expressions.

Definition at line 687 of file set-expr.cpp.

◆ inter()

SetExpr Gecode::inter ( const SetVarArgs & x )

Intersection of set variables.

Definition at line 696 of file set-expr.cpp.

◆ setunion()

SetExpr Gecode::setunion ( const SetVarArgs & x )

Union of set variables.

Definition at line 705 of file set-expr.cpp.

◆ setdunion()

SetExpr Gecode::setdunion ( const SetVarArgs & x )

Disjoint union of set variables.

Definition at line 714 of file set-expr.cpp.

◆ cardinality()

LinIntExpr Gecode::cardinality ( const SetExpr & e )

Cardinality of set expression.

Definition at line 815 of file set-expr.cpp.

◆ min()

LinIntExpr Gecode::min ( const SetExpr & e )

Minimum element of set expression.

Definition at line 820 of file set-expr.cpp.

◆ max()

LinIntExpr Gecode::max ( const SetExpr & e )

Minimum element of set expression.

Definition at line 825 of file set-expr.cpp.

◆ operator==()

SetRel Gecode::operator==	(	const SetExpr &	e0,
		const SetExpr &	e1
	)

Equality of set expressions.

Definition at line 47 of file set-rel.cpp.

◆ operator!=()

SetRel Gecode::operator!=	(	const SetExpr &	e0,
		const SetExpr &	e1
	)

Disequality of set expressions.

Definition at line 51 of file set-rel.cpp.

◆ operator<=() [1/2]

SetCmpRel Gecode::operator<=	(	const SetExpr &	e0,
		const SetExpr &	e1
	)

Subset of set expressions.

Definition at line 55 of file set-rel.cpp.

◆ operator<=() [2/2]

BoolExpr Gecode::operator<=	(	const SetCmpRel &	r,
		const SetExpr &	l
	)

Subset of set expressions.

Definition at line 59 of file set-rel.cpp.

◆ operator>=() [1/2]

SetCmpRel Gecode::operator>=	(	const SetExpr &	e0,
		const SetExpr &	e1
	)

Superset of set expressions.

Definition at line 63 of file set-rel.cpp.

◆ operator>=() [2/2]

BoolExpr Gecode::operator>=	(	const SetCmpRel &	r,
		const SetExpr &	l
	)