Method arrayLength

src/api/java/Z3Object.java:83–86

(Z3Object[] a)

    }

    public static int arrayLength(Z3Object[] a)
    {
        return (a == null) ? 0 : a.length;
    }
}