Generated on Tue Jul 27 2010 21:59:29 for Gecode by doxygen 1.7.1

Gecode::MiniModel::SetNonLinExpr Class Reference

Integer valued set expressions. More...

List of all members.

Public Types

enum  SetNonLinExprType { SNLE_CARD, SNLE_MIN, SNLE_MAX }
 

The expression type.

More...

Public Member Functions

 SetNonLinExpr (const SetExpr &e0, SetNonLinExprType t0)
 Constructor.
virtual IntVar post (Home home, IntVar *ret, IntConLevel) const
 Post expression.
virtual void post (Home home, IntRelType irt, int c, IntConLevel icl) const
 Post expression to be in relation irt with c.
virtual void post (Home home, IntRelType irt, int c, BoolVar b, IntConLevel icl) const
 Post reified expression to be in relation irt with c.

Public Attributes

enum
Gecode::MiniModel::SetNonLinExpr::SetNonLinExprType 
t
 The expression type.
SetExpr e
 The expression.

Detailed Description

Integer valued set expressions.

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


Member Enumeration Documentation

The expression type.

Enumerator:
SNLE_CARD 

Cardinality expression.

SNLE_MIN 

Minimum element expression.

SNLE_MAX 

Maximum element expression.

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


Constructor & Destructor Documentation

Gecode::MiniModel::SetNonLinExpr::SetNonLinExpr ( const SetExpr e0,
SetNonLinExprType  t0 
) [inline]

Constructor.

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


Member Function Documentation

virtual IntVar Gecode::MiniModel::SetNonLinExpr::post ( Home  home,
IntVar ret,
IntConLevel   
) const [inline, virtual]

Post expression.

Implements Gecode::NonLinExpr.

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

virtual void Gecode::MiniModel::SetNonLinExpr::post ( Home  home,
IntRelType  irt,
int  c,
IntConLevel  icl 
) const [inline, virtual]

Post expression to be in relation irt with c.

Implements Gecode::NonLinExpr.

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

virtual void Gecode::MiniModel::SetNonLinExpr::post ( Home  home,
IntRelType  irt,
int  c,
BoolVar  b,
IntConLevel  icl 
) const [inline, virtual]

Post reified expression to be in relation irt with c.

Implements Gecode::NonLinExpr.

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


Member Data Documentation

The expression.

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


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