Generated on Fri Mar 20 15:56:49 2015 for Gecode by doxygen 1.6.3

Gecode::SetExpr Class Reference

Set expressions More...

#include <minimodel.hh>

List of all members.

Classes

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 LinIntExpr &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.

Detailed Description

Set expressions

Definition at line 1069 of file minimodel.hh.


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 1072 of file minimodel.hh.


Constructor & Destructor Documentation

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

Default constructor.

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

Gecode::SetExpr::SetExpr ( const SetExpr e  ) 

Copy constructor.

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

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

Construct expression for type and subexpresssions.

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

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

Construct expression for variable.

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

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

Construct expression for integer variable.

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

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

Construct expression for constant.

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

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

Construct expression for negation.

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

Gecode::SetExpr::~SetExpr ( void   ) 

Destructor.

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


Member Function Documentation

SetVar Gecode::SetExpr::post ( Home  home  )  const

Post propagators for expression.

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

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

Post propagators for relation.

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

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

Post propagators for reified relation.

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

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

Assignment operator.

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


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