Generated on Wed Sep 5 2012 18:52:28 for Gecode by doxygen 1.8.1.1
Gecode::NonLinExpr Class Reference

Base class for non-linear expressions. More...

#include <minimodel.hh>

List of all members.

Public Member Functions

virtual IntVar post (Home home, IntVar *ret, IntConLevel icl) const =0
 Return variable constrained to be equal to the expression.
virtual void post (Home home, IntRelType irt, int c, IntConLevel icl) const =0
 Post expression to be in relation irt with c.
virtual void post (Home home, IntRelType irt, int c, BoolVar b, IntConLevel icl) const =0
 Post reified expression to be in relation irt with c.
virtual ~NonLinExpr (void)
 Destructor.
void * operator new (size_t size)
 Memory management.
void operator delete (void *p, size_t)
 Memory management.

Static Public Member Functions

static IntVar result (Home home, IntVar *x)
 Return fresh variable if x is NULL, x otherwise.
static IntVar result (Home home, IntVar *x, IntVar y)
 Constrain x to be equal to y if x is not NULL.

Detailed Description

Base class for non-linear expressions.

Definition at line 100 of file minimodel.hh.


Constructor & Destructor Documentation

virtual Gecode::NonLinExpr::~NonLinExpr ( void  )
inlinevirtual

Destructor.

Definition at line 111 of file minimodel.hh.


Member Function Documentation

virtual IntVar Gecode::NonLinExpr::post ( Home  home,
IntVar ret,
IntConLevel  icl 
) const
pure virtual

Return variable constrained to be equal to the expression.

Implemented in Gecode::MiniModel::SetNonLinExpr, and Gecode::MiniModel::ArithNonLinExpr.

virtual void Gecode::NonLinExpr::post ( Home  home,
IntRelType  irt,
int  c,
IntConLevel  icl 
) const
pure virtual

Post expression to be in relation irt with c.

Implemented in Gecode::MiniModel::SetNonLinExpr, and Gecode::MiniModel::ArithNonLinExpr.

virtual void Gecode::NonLinExpr::post ( Home  home,
IntRelType  irt,
int  c,
BoolVar  b,
IntConLevel  icl 
) const
pure virtual

Post reified expression to be in relation irt with c.

Implemented in Gecode::MiniModel::SetNonLinExpr, and Gecode::MiniModel::ArithNonLinExpr.

static IntVar Gecode::NonLinExpr::result ( Home  home,
IntVar x 
)
inlinestatic

Return fresh variable if x is NULL, x otherwise.

Definition at line 113 of file minimodel.hh.

static IntVar Gecode::NonLinExpr::result ( Home  home,
IntVar x,
IntVar  y 
)
inlinestatic

Constrain x to be equal to y if x is not NULL.

Definition at line 119 of file minimodel.hh.

void* Gecode::NonLinExpr::operator new ( size_t  size)
inline

Memory management.

Definition at line 125 of file minimodel.hh.

void Gecode::NonLinExpr::operator delete ( void *  p,
size_t   
)
inline

Memory management.

Definition at line 127 of file minimodel.hh.


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