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)