public BDDDomain[] extDomain(int[] dom) { BigInteger[] a = new BigInteger[dom.length]; for (int i = 0; i < a.length; ++i) { a[i] = BigInteger.valueOf(dom[i]); } return extDomain(a);
public BDDDomain extDomain(long domainSize) { return extDomain(BigInteger.valueOf(domainSize));
    public BDDDomain[] extDomain(int[] dom) {        BigInteger[] a = new BigInteger[dom.length];        for (int i = 0; i < a.length; ++i) {            a[i] = BigInteger.valueOf(dom[i]);        }        return extDomain(a);    }