18 package com.microsoft.z3;
53 private long m_n_obj = 0;
61 Z3Object(Context ctx,
long obj)
77 void checkNativeObject(
long obj)
81 long getNativeObject()
86 void setNativeObject(
long value)
90 checkNativeObject(value);
100 static long getNativeObject(Z3Object s)
104 return s.getNativeObject();
112 static long[] arrayToNative(Z3Object[] a)
116 long[] an =
new long[a.length];
117 for (
int i = 0; i < a.length; i++)
118 an[i] = (a[i] == null) ? 0 : a[i].getNativeObject();
122 static int arrayLength(Z3Object[] a)
124 return (a == null) ? 0 : a.length;