Generated on Sat Feb 7 2015 02:01:41 for Gecode by doxygen 1.8.9.1
Gecode::SetExpr Class Reference

Set expressions More...

#include <minimodel.hh>

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. More...
 
 SetExpr (const SetExpr &e)
 Copy constructor. More...
 
 SetExpr (const SetExpr &l, NodeType t, const SetExpr &r)
 Construct expression for type and subexpresssions. More...
 
 SetExpr (const SetVar &x)
 Construct expression for variable. More...
 
 SetExpr (const LinIntExpr &x)
 Construct expression for integer variable. More...
 
 SetExpr (const IntSet &s)
 Construct expression for constant. More...
 
 SetExpr (const SetExpr &e, NodeType t)
 Construct expression for negation. More...
 
SetVar post (Home home) const
 Post propagators for expression. More...
 
void post (Home home, SetRelType srt, const SetExpr &e) const
 Post propagators for relation. More...
 
void post (Home home, BoolVar b, bool t, SetRelType srt, const SetExpr &e) const
 Post propagators for reified relation. More...
 
const SetExproperator= (const SetExpr &e)
 Assignment operator. More...
 
 ~SetExpr (void)
 Destructor. More...
 

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 644 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 600 of file set-expr.cpp.

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

Construct expression for variable.

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

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

Construct expression for integer variable.

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

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

Construct expression for constant.

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

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

Construct expression for negation.

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

Gecode::SetExpr::~SetExpr ( void  )

Destructor.

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

Member Function Documentation

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

Post propagators for expression.

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

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

Post propagators for relation.

Definition at line 658 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 663 of file set-expr.cpp.

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

Assignment operator.

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


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