Method operator new

gecode/minimodel/set-expr.cpp:85–88

  SetExpr::Node::Node(void) : use(1) {}

  void*
  SetExpr::Node::operator new(size_t size) {
    return heap.ralloc(size);
  }
  void
  SetExpr::Node::operator delete(void* p, size_t) {
    heap.rfree(p);