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. | |
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
|
Type of variable indices.
Definition at line 95 of file projectors.hh. |
Member Enumeration Documentation
|
Relation used to connect two set expressions.
Definition at line 98 of file projectors.hh. |
Constructor & Destructor Documentation
|
Construct constant set expression for the empty set.
Definition at line 59 of file set-expr.icc. |
|
Copy constructor.
Definition at line 177 of file set-expr.cc. |
|
Construct set expression for variable v.
Definition at line 164 of file set-expr.cc. |
|
Construct set expression from s with sign sign.
Definition at line 171 of file set-expr.cc. |
|
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. |
|
Destructor.
Definition at line 196 of file set-expr.cc. |
Member Function Documentation
|
Assignment operator.
Definition at line 184 of file set-expr.cc. |
|
Returns the arity of the set expression.
Definition at line 202 of file set-expr.cc. |
|
Returns code for this set expression.
Definition at line 207 of file set-expr.cc. |
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)