Generated on Sat Nov 11 01:12:19 2006 for Gecode by doxygen 1.5.1

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

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 SetExproperator= (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.

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: