Generated on Wed Nov 1 15:05:14 2006 for Gecode by doxygen 1.4.5
Gecode::SetExpr

Gecode::SetExpr Class Reference
[Projector constraints]

#include <projectors.hh>

List of all members.

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

typedef int Gecode::SetExpr::var_idx
 

Type of variable indices.

Definition at line 95 of file projectors.hh.

Member Enumeration Documentation

enum Gecode::SetExpr::RelType
 

Relation used to connect two set expressions.

Enumerator:
REL_INTER  Intersection relation.
REL_UNION  Union relation.

Definition at line 98 of file projectors.hh.

Constructor & Destructor Documentation

Gecode::SetExpr::SetExpr (  void   )  [inline]
 

Construct constant set expression for the empty set.

Definition at line 59 of file set-expr.icc.

Gecode::SetExpr::SetExpr (  const SetExpr &  s  ) 
 

Copy constructor.

Definition at line 177 of file set-expr.cc.

Gecode::SetExpr::SetExpr (  var_idx  v  ) 
 

Construct set expression for variable v.

Definition at line 164 of file set-expr.cc.

Gecode::SetExpr::SetExpr (  const SetExpr &  s,
int  sign
) 
 

Construct set expression from s with sign sign.

Definition at line 171 of file set-expr.cc.

Gecode::SetExpr::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.

Definition at line 166 of file set-expr.cc.

Gecode::SetExpr::~SetExpr (  void   ) 
 

Destructor.

Definition at line 196 of file set-expr.cc.

Member Function Documentation

const SetExpr & Gecode::SetExpr::operator= (  const SetExpr &  e  ) 
 

Assignment operator.

Definition at line 184 of file set-expr.cc.

int Gecode::SetExpr::arity (  void   )  const
 

Returns the arity of the set expression.

Definition at line 202 of file set-expr.cc.

SetExprCode Gecode::SetExpr::encode (  void   )  const
 

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: