Method operator delete

gecode/minimodel/float-expr.hpp:56–59

    return heap.ralloc(s);
  }
  forceinline void
  NonLinFloatExpr::operator delete(void* p, size_t) {
    heap.rfree(p);
  }

}