Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15
Gecode::MiniModel::SetNonLinIntExpr Class Reference

Integer valued set expressions. More...

Public Types

enum  SetNonLinIntExprType { SNLE_CARD, SNLE_MIN, SNLE_MAX }
 The expression type. More...
 

Public Member Functions

 SetNonLinIntExpr (const SetExpr &e0, SetNonLinIntExprType t0)
 Constructor. More...
 
virtual IntVar post (Home home, IntVar *ret, IntPropLevel) const
 Post expression. More...
 
virtual void post (Home home, IntRelType irt, int c, IntPropLevel ipl) const
 Post expression to be in relation irt with c. More...
 
virtual void post (Home home, IntRelType irt, int c, BoolVar b, IntPropLevel ipl) const
 Post reified expression to be in relation irt with c. More...
 
- Public Member Functions inherited from Gecode::NonLinIntExpr
virtual ~NonLinIntExpr (void)
 Destructor. More...
 
void * operator new (size_t size)
 Memory management. More...
 
void operator delete (void *p, size_t)
 Memory management. More...
 

Public Attributes

enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType t
 
SetExpr e
 The expression. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::NonLinIntExpr
static IntVar result (Home home, IntVar *x)
 Return fresh variable if x is NULL, x otherwise. More...
 
static IntVar result (Home home, IntVar *x, IntVar y)
 Constrain x to be equal to y if x is not NULL. More...
 

Detailed Description

Integer valued set expressions.

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

Member Enumeration Documentation

◆ SetNonLinIntExprType

The expression type.

Enumerator
SNLE_CARD 

Cardinality expression.

SNLE_MIN 

Minimum element expression.

SNLE_MAX 

Maximum element expression.

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

Constructor & Destructor Documentation

◆ SetNonLinIntExpr()

Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExpr ( const SetExpr e0,
SetNonLinIntExprType  t0 
)
inline

Constructor.

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

Member Function Documentation

◆ post() [1/3]

virtual IntVar Gecode::MiniModel::SetNonLinIntExpr::post ( Home  home,
IntVar ret,
IntPropLevel   
) const
inlinevirtual

Post expression.

Implements Gecode::NonLinIntExpr.

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

◆ post() [2/3]

virtual void Gecode::MiniModel::SetNonLinIntExpr::post ( Home  home,
IntRelType  irt,
int  c,
IntPropLevel  ipl 
) const
inlinevirtual

Post expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

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

◆ post() [3/3]

virtual void Gecode::MiniModel::SetNonLinIntExpr::post ( Home  home,
IntRelType  irt,
int  c,
BoolVar  b,
IntPropLevel  ipl 
) const
inlinevirtual

Post reified expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

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

Member Data Documentation

◆ t

enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType Gecode::MiniModel::SetNonLinIntExpr::t

◆ e

SetExpr Gecode::MiniModel::SetNonLinIntExpr::e

The expression.

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


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