Gecode::SetExpr Class Reference
[Projector constraints]
#include <projectors.hh>
Detailed Description
Set-valued expressions for finite set projectors.
Definition at line 92 of file projectors.hh.
Public Types | |
| typedef int | var_idx |
| Type of variable indices. | |
| REL_INTER | |
| Intersection relation. | |
| REL_UNION | |
| Union relation. | |
| enum | RelType { REL_INTER, REL_UNION } |
| Relation used to connect two set expressions. More... | |
Public Member Functions | |
| SetExpr (void) | |
| Construct constant set expression for the empty set. | |
| SetExpr (const SetExpr &s) | |
| Copy constructor. | |
| SetExpr (var_idx v) | |
| Construct set expression for variable v. | |
| SetExpr (const SetExpr &s, int sign) | |
| Construct set expression from s with sign sign. | |
| SetExpr (const SetExpr &s, int ssign, RelType r, const SetExpr &t, int tsign) | |
| Construct set expression from s with sign ssign and t with sign tsign under relation r. | |
| const SetExpr & | operator= (const SetExpr &e) |
| Assignment operator. | |
| int | arity (void) const |
| Returns the arity of the set expression. | |
| SetExprCode | encode (void) const |
| Returns code for this set expression. | |
| ~SetExpr (void) | |
| Destructor. | |
Classes | |
| class | Node |
| Nodes used to construct set expressions. More... | |
Member Typedef Documentation
| typedef int Gecode::SetExpr::var_idx |
Member Enumeration Documentation
Constructor & Destructor Documentation
| Gecode::SetExpr::SetExpr | ( | void | ) | [inline] |
| Gecode::SetExpr::SetExpr | ( | const SetExpr & | s | ) |
| Gecode::SetExpr::SetExpr | ( | var_idx | v | ) |
| Gecode::SetExpr::SetExpr | ( | const SetExpr & | s, | |
| int | sign | |||
| ) |
Construct set expression from s with sign ssign and t with sign tsign under relation r.
Definition at line 166 of file set-expr.cc.
| Gecode::SetExpr::~SetExpr | ( | void | ) |
Member Function Documentation
| int Gecode::SetExpr::arity | ( | void | ) | const |
| SetExprCode Gecode::SetExpr::encode | ( | void | ) | const |
The documentation for this class was generated from the following files:
- gecode/set/projectors.hh (Revision: 3573)
- gecode/set/projectors/set-expr.cc (Revision: 3548)
- gecode/set/projectors/set-expr.icc (Revision: 3548)