Gecode::NonLinExpr Class Reference
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. | |
Detailed Description
Base class for non-linear expressions.
Definition at line 100 of file minimodel.hh.
Constructor & Destructor Documentation
| virtual Gecode::NonLinExpr::~NonLinExpr | ( | void | ) | [inline, virtual] |
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::ArithNonLinExpr, and Gecode::MiniModel::SetNonLinExpr.
| 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::ArithNonLinExpr, and Gecode::MiniModel::SetNonLinExpr.
| 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::ArithNonLinExpr, and Gecode::MiniModel::SetNonLinExpr.
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.
| 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: