Method ~IntVarSpec

gecode/flatzinc/varspec.hh:90–93

      alias = true; i = eq.v;
    }
    ~IntVarSpec(void) {
      if (!alias && !assigned && domain())
        delete domain.some();
    }
  };

  /// Specification for Boolean variables