Generated on Sat Aug 25 2012 15:53:09 for Gecode by doxygen 1.7.5
Gecode::SetExpr Class Reference

Set expressions More...

#include <minimodel.hh>

List of all members.

Classes

class  NNF
 Node for negation normalform (NNF) More...
class  Node
 Node for set expression More...

Public Types

enum  NodeType {
  NT_VAR, NT_CONST, NT_LEXP, NT_CMPL,
  NT_INTER, NT_UNION, NT_DUNION
}
 Type of set expression. More...

Public Member Functions

 SetExpr (void)
 Default constructor.
 SetExpr (const SetExpr &e)
 Copy constructor.
 SetExpr (const SetExpr &l, NodeType t, const SetExpr &r)
 Construct expression for type and subexpresssions.
 SetExpr (const SetVar &x)
 Construct expression for variable.
 SetExpr (const LinExpr &x)
 Construct expression for integer variable.
 SetExpr (const IntSet &s)
 Construct expression for constant.
 SetExpr (const SetExpr &e, NodeType t)
 Construct expression for negation.
SetVar post (Home home) const
 Post propagators for expression.
void post (Home home, SetRelType srt, const SetExpr &e) const
 Post propagators for relation.
void post (Home home, BoolVar b, bool t, SetRelType srt, const SetExpr &e) const
 Post propagators for reified relation.
const SetExproperator= (const SetExpr &e)
 Assignment operator.
 ~SetExpr (void)
 Destructor.

Static Public Member Functions

static bool same (NodeType t0, NodeType t1)
 Check if types agree.

Detailed Description

Set expressions


Member Enumeration Documentation

Type of set expression.

Enumerator:
NT_VAR 

Variable.

NT_CONST 

Constant.

NT_LEXP 

Linear expression.

NT_CMPL 

Complement.

NT_INTER 

Intersection.

NT_UNION 

Union.

NT_DUNION 

Disjoint union.

Definition at line 717 of file minimodel.hh.


Constructor & Destructor Documentation

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

Default constructor.

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

Gecode::SetExpr::SetExpr ( const SetExpr e) [inline]

Copy constructor.

Definition at line 62 of file set-expr.hpp.

Gecode::SetExpr::SetExpr ( const SetExpr l,
NodeType  t,
const SetExpr r 
)

Construct expression for type and subexpresssions.

Definition at line 87 of file set-expr.cpp.

Gecode::SetExpr::SetExpr ( const SetVar x)

Construct expression for variable.

Definition at line 63 of file set-expr.cpp.

Gecode::SetExpr::SetExpr ( const LinExpr x) [explicit]

Construct expression for integer variable.

Definition at line 79 of file set-expr.cpp.

Gecode::SetExpr::SetExpr ( const IntSet s)

Construct expression for constant.

Definition at line 71 of file set-expr.cpp.

Gecode::SetExpr::SetExpr ( const SetExpr e,
NodeType  t 
)

Construct expression for negation.

Definition at line 99 of file set-expr.cpp.

Gecode::SetExpr::~SetExpr ( void  )

Destructor.

Definition at line 126 of file set-expr.cpp.


Member Function Documentation

bool Gecode::SetExpr::same ( NodeType  t0,
NodeType  t1 
) [inline, static]

Check if types agree.

Definition at line 67 of file set-expr.hpp.

SetVar Gecode::SetExpr::post ( Home  home) const [inline]

Post propagators for expression.

Definition at line 72 of file set-expr.hpp.

void Gecode::SetExpr::post ( Home  home,
SetRelType  srt,
const SetExpr e 
) const [inline]

Post propagators for relation.

Definition at line 81 of file set-expr.hpp.

void Gecode::SetExpr::post ( Home  home,
BoolVar  b,
bool  t,
SetRelType  srt,
const SetExpr e 
) const [inline]

Post propagators for reified relation.

Definition at line 86 of file set-expr.hpp.

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

Assignment operator.

Definition at line 116 of file set-expr.cpp.


The documentation for this class was generated from the following files: