Gecode::SetExpr Class Reference
[Projector constraints]
#include <projectors.hh>
Detailed Description
Set-valued expressions for finite set projectors.Definition at line 122 of file projectors.hh.
Public Types | |
| enum | RelType { REL_INTER, REL_UNION } |
| Relation used to connect two set expressions. More... | |
| typedef int | var_idx |
| Type of variable indices. | |
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 |
The documentation for this class was generated from the following files:
- gecode/set/projectors.hh (Revision: 7536)
- gecode/set/projectors/set-expr.cc (Revision: 6332)
- gecode/set/projectors/set-expr.icc (Revision: 6312)