Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
set-expr.cpp File Reference

Go to the source code of this file.

Classes

class  Gecode::SetExpr::Node
 Node for set expression More...
 
class  Gecode::MiniModel::SetNonLinIntExpr
 Integer valued set expressions. More...
 

Namespaces

 Gecode::MiniModel
 Minimalistic modeling support.
 

Functions

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 &)
 Complement expression. More...
 
SetExpr Gecode::operator- (const SetExpr &, const SetExpr &)
 Difference of set expressions. More...
 
SetExpr Gecode::singleton (const LinIntExpr &)
 Singleton expression. 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...
 
SetVar Gecode::expr (Home home, const SetExpr &e)
 Post set expression and return its value. More...
 

Function Documentation

◆ operator&()

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

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-() [1/2]

SetExpr Gecode::operator- ( const SetExpr e)

Complement expression.

Definition at line 683 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.

◆ singleton()

SetExpr Gecode::singleton ( const LinIntExpr e)

Singleton expression.

Definition at line 691 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 817 of file set-expr.cpp.

◆ min()

LinIntExpr Gecode::min ( const SetExpr e)

Minimum element of set expression.

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

◆ max()

LinIntExpr Gecode::max ( const SetExpr e)

Minimum element of set expression.

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

◆ expr()

SetVar Gecode::expr ( Home  home,
const SetExpr e 
)

Post set expression and return its value.

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

Variable Documentation

◆ t

NodeType t

Type of node.

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

◆ p

int p

Number of positive literals for node type.

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

◆ n

int n

Number of negative literals for node type.

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

◆ l

NNF* l

Left subtree.

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

◆ r

NNF* r

Right subtree.

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

◆ 

struct { ... } b

For binary nodes (and, or, eqv)

◆ x

Node* x

Pointer to corresponding Boolean expression node.

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

◆ 

struct { ... } a

For atomic nodes.

◆ 

union { ... } u

Union depending on nodetype t.

◆ neg

bool neg

Is formula negative.

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