Method arrayToNative

src/api/java/Z3Object.java:73–81

(Z3Object[] a)

    }

    public static long[] arrayToNative(Z3Object[] a)
    {
        if (a == null)
            return null;
        long[] an = new long[a.length];
        for (int i = 0; i < a.length; i++)
            an[i] = (a[i] == null) ? 0 : a[i].getNativeObject();
        return an;
    }

    public static int arrayLength(Z3Object[] a)
    {