53 NonLinIntExpr::operator
new(
size_t s) {
57 NonLinIntExpr::operator
delete(
void*
p, size_t) {
int p
Number of positive literals for node type.
void rfree(void *p)
Free memory block starting at p.
void * ralloc(size_t s)
Allocate s bytes from heap.
Home class for posting propagators
static IntVar result(Home home, IntVar *x)
Return fresh variable if x is null, x otherwise.
virtual ~NonLinIntExpr(void)
Destructor.
Heap heap
The single global heap.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
const int min
Smallest allowed integer value.
const int max
Largest allowed integer value.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x