Base class for non-linear float expressions. More...
#include <minimodel.hh>
Public Member Functions | |
virtual FloatVar | post (Home home, FloatVar *ret) const =0 |
Return variable constrained to be equal to the expression. More... | |
virtual void | post (Home home, FloatRelType frt, FloatVal c) const =0 |
Post expression to be in relation frt with c. More... | |
virtual void | post (Home home, FloatRelType frt, FloatVal c, BoolVar b) const =0 |
Post reified expression to be in relation frt with c. More... | |
virtual | ~NonLinFloatExpr (void) |
Destructor. More... | |
void * | operator new (size_t size) |
Memory management. More... | |
void | operator delete (void *p, size_t) |
Memory management. More... | |
Static Public Member Functions | |
static FloatVar | result (Home home, FloatVar *x) |
Return fresh variable if x is NULL, x otherwise. More... | |
static FloatVar | result (Home home, FloatVar *x, FloatVar y) |
Constrain x to be equal to y if x is not NULL. More... | |
Base class for non-linear float expressions.
Definition at line 685 of file minimodel.hh.
|
inlinevirtual |
Destructor.
Definition at line 695 of file minimodel.hh.
Return variable constrained to be equal to the expression.
Implemented in Gecode::MiniModel::ArithNonLinFloatExpr.
|
pure virtual |
Post expression to be in relation frt with c.
Implemented in Gecode::MiniModel::ArithNonLinFloatExpr.
|
pure virtual |
Post reified expression to be in relation frt with c.
Implemented in Gecode::MiniModel::ArithNonLinFloatExpr.
Return fresh variable if x is NULL, x otherwise.
Definition at line 697 of file minimodel.hh.
|
inlinestatic |
Constrain x to be equal to y if x is not NULL.
Definition at line 703 of file minimodel.hh.
|
inline |
Memory management.
Definition at line 709 of file minimodel.hh.
|
inline |
Memory management.
Definition at line 711 of file minimodel.hh.