53 NonLinFloatExpr::operator
new(
size_t s) {
57 NonLinFloatExpr::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 FloatVar result(Home home, FloatVar *x)
Return fresh variable if x is null, x otherwise.
virtual ~NonLinFloatExpr(void)
Destructor.
Heap heap
The single global heap.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x