Generated on Sun Apr 1 2012 00:25:23 for Gecode by doxygen 1.7.6.1
Set expressions and relations

Functions

SetExpr Gecode::singleton (const LinExpr &)
 Singleton expression.
SetExpr Gecode::operator- (const SetExpr &)
 Complement expression.
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 &, const SetExpr &)
 Difference of set expressions.
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.
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.

Detailed Description

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


Function Documentation

SetExpr Gecode::singleton ( const LinExpr &  e)

Singleton expression.

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

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

Complement expression.

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

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

Intersection of set expressions.

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

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

Union of set expressions.

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

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

Disjoint union of set expressions.

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

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

Difference of set expressions.

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

SetExpr Gecode::inter ( const SetVarArgs &  x)

Intersection of set variables.

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

SetExpr Gecode::setunion ( const SetVarArgs &  x)

Union of set variables.

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

SetExpr Gecode::setdunion ( const SetVarArgs &  x)

Disjoint union of set variables.

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

LinExpr Gecode::cardinality ( const SetExpr &  e)

Cardinality of set expression.

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

LinExpr Gecode::min ( const SetExpr &  e)

Minimum element of set expression.

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

LinExpr Gecode::max ( const SetExpr &  e)

Minimum element of set expression.

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

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

Equality of set expressions.

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

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

Disequality of set expressions.

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

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

Subset of set expressions.

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

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

Subset of set expressions.

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

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

Superset of set expressions.

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

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

Superset of set expressions.

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

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

Disjointness of set expressions.

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