Generated on Fri Oct 19 11:25:53 2018 for Gecode by doxygen 1.6.3

Gecode::NonLinFloatExpr Class Reference

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

#include <minimodel.hh>

List of all members.

Public Member Functions

virtual FloatVar post (Home home, FloatVar *ret) const =0
 Return variable constrained to be equal to the expression.
virtual void post (Home home, FloatRelType frt, FloatVal c) const =0
 Post expression to be in relation frt with c.
virtual void post (Home home, FloatRelType frt, FloatVal c, BoolVar b) const =0
 Post reified expression to be in relation frt with c.
virtual ~NonLinFloatExpr (void)
 Destructor.
void * operator new (size_t size)
 Memory management.
void operator delete (void *p, size_t)
 Memory management.

Static Public Member Functions

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

Detailed Description

Base class for non-linear float expressions.

Definition at line 688 of file minimodel.hh.


Constructor & Destructor Documentation

virtual Gecode::NonLinFloatExpr::~NonLinFloatExpr ( void   )  [inline, virtual]

Destructor.

Definition at line 698 of file minimodel.hh.


Member Function Documentation

virtual FloatVar Gecode::NonLinFloatExpr::post ( Home  home,
FloatVar ret 
) const [pure virtual]

Return variable constrained to be equal to the expression.

Implemented in Gecode::MiniModel::ArithNonLinFloatExpr.

virtual void Gecode::NonLinFloatExpr::post ( Home  home,
FloatRelType  frt,
FloatVal  c 
) const [pure virtual]

Post expression to be in relation frt with c.

Implemented in Gecode::MiniModel::ArithNonLinFloatExpr.

virtual void Gecode::NonLinFloatExpr::post ( Home  home,
FloatRelType  frt,
FloatVal  c,
BoolVar  b 
) const [pure virtual]

Post reified expression to be in relation frt with c.

Implemented in Gecode::MiniModel::ArithNonLinFloatExpr.

static FloatVar Gecode::NonLinFloatExpr::result ( Home  home,
FloatVar x 
) [inline, static]

Return fresh variable if x is NULL, x otherwise.

Definition at line 700 of file minimodel.hh.

static FloatVar Gecode::NonLinFloatExpr::result ( Home  home,
FloatVar x,
FloatVar  y 
) [inline, static]

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

Definition at line 706 of file minimodel.hh.

void* Gecode::NonLinFloatExpr::operator new ( size_t  size  )  [inline]

Memory management.

Definition at line 712 of file minimodel.hh.

void Gecode::NonLinFloatExpr::operator delete ( void *  p,
size_t   
) [inline]

Memory management.

Definition at line 714 of file minimodel.hh.


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