Method operator delete

gecode/minimodel/set-expr.cpp:89–92

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

  bool
  SetExpr::Node::decrement(void) {