Base class for non-linear expressions. More...
#include <minimodel.hh>
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. |
Base class for non-linear expressions.
Definition at line 100 of file minimodel.hh.
|
inlinevirtual |
Destructor.
Definition at line 111 of file minimodel.hh.
|
pure virtual |
Return variable constrained to be equal to the expression.
Implemented in Gecode::MiniModel::SetNonLinExpr, and Gecode::MiniModel::ArithNonLinExpr.
|
pure virtual |
Post expression to be in relation irt with c.
Implemented in Gecode::MiniModel::SetNonLinExpr, and Gecode::MiniModel::ArithNonLinExpr.
|
pure virtual |
Post reified expression to be in relation irt with c.
Implemented in Gecode::MiniModel::SetNonLinExpr, and Gecode::MiniModel::ArithNonLinExpr.
Return fresh variable if x is NULL, x otherwise.
Definition at line 113 of file minimodel.hh.
Constrain x to be equal to y if x is not NULL.
Definition at line 119 of file minimodel.hh.
|
inline |
Memory management.
Definition at line 125 of file minimodel.hh.
|
inline |
Memory management.
Definition at line 127 of file minimodel.hh.