set-expr.cpp File Reference
#include <gecode/minimodel.hh>
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 | |
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 LinIntExpr &) |
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. | |
LinIntExpr | Gecode::cardinality (const SetExpr &) |
Cardinality of set expression. | |
LinIntExpr | Gecode::min (const SetExpr &) |
Minimum element of set expression. | |
LinIntExpr | Gecode::max (const SetExpr &) |
Minimum element of set expression. | |
SetVar | Gecode::expr (Home home, const SetExpr &e) |
Post set expression and return its value. |
Variable Documentation
NodeType t |
Type of node.
Definition at line 113 of file set-expr.cpp.
int p |
Number of positive literals for node type.
Definition at line 115 of file set-expr.cpp.
int n |
Number of negative literals for node type.
Definition at line 117 of file set-expr.cpp.
NNF* l |
Left subtree.
Definition at line 123 of file set-expr.cpp.
NNF* r |
Right subtree.
Definition at line 125 of file set-expr.cpp.
struct { ... } ::@70 b |
For binary nodes (and, or, eqv).
Node* x |
Pointer to corresponding Boolean expression node.
Definition at line 130 of file set-expr.cpp.
struct { ... } ::@71 a |
For atomic nodes.
union { ... } u |
Union depending on nodetype t.
bool neg |
Is formula negative.
Definition at line 134 of file set-expr.cpp.