Method ~BoolVarSpec

gecode/flatzinc/varspec.hh:112–115

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

  /// Specification for floating point variables