Gecode::NonLinIntExpr Class Reference
Base class for non-linear expressions over integer variables. More...
#include <minimodel.hh>
Public Member Functions | |
virtual IntVar | post (Home home, IntVar *ret, IntPropLevel ipl) const =0 |
Return variable constrained to be equal to the expression. | |
virtual void | post (Home home, IntRelType irt, int c, IntPropLevel ipl) const =0 |
Post expression to be in relation irt with c. | |
virtual void | post (Home home, IntRelType irt, int c, BoolVar b, IntPropLevel ipl) const =0 |
Post reified expression to be in relation irt with c. | |
virtual | ~NonLinIntExpr (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 over integer variables.
Definition at line 109 of file minimodel.hh.
Constructor & Destructor Documentation
virtual Gecode::NonLinIntExpr::~NonLinIntExpr | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 120 of file minimodel.hh.
Member Function Documentation
virtual IntVar Gecode::NonLinIntExpr::post | ( | Home | home, | |
IntVar * | ret, | |||
IntPropLevel | ipl | |||
) | const [pure virtual] |
Return variable constrained to be equal to the expression.
Implemented in Gecode::MiniModel::ArithNonLinIntExpr, and Gecode::MiniModel::SetNonLinIntExpr.
virtual void Gecode::NonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
IntPropLevel | ipl | |||
) | const [pure virtual] |
Post expression to be in relation irt with c.
Implemented in Gecode::MiniModel::ArithNonLinIntExpr, and Gecode::MiniModel::SetNonLinIntExpr.
virtual void Gecode::NonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
BoolVar | b, | |||
IntPropLevel | ipl | |||
) | const [pure virtual] |
Post reified expression to be in relation irt with c.
Implemented in Gecode::MiniModel::ArithNonLinIntExpr, and Gecode::MiniModel::SetNonLinIntExpr.
Return fresh variable if x is NULL, x otherwise.
Definition at line 122 of file minimodel.hh.
Constrain x to be equal to y if x is not NULL.
Definition at line 128 of file minimodel.hh.
void* Gecode::NonLinIntExpr::operator new | ( | size_t | size | ) | [inline] |
Memory management.
Definition at line 134 of file minimodel.hh.
void Gecode::NonLinIntExpr::operator delete | ( | void * | p, | |
size_t | ||||
) | [inline] |
Memory management.
Definition at line 136 of file minimodel.hh.
The documentation for this class was generated from the following file:
- gecode/minimodel.hh