18package com.microsoft.z3;
27 private final long m_n_obj;
31 checkNativeObject(obj);
34 addToReferenceQueue();
41 abstract void addToReferenceQueue();
46 abstract void incRef();
54 void checkNativeObject(
long obj) {}
56 long getNativeObject()
61 static long getNativeObject(
Z3Object s)
65 return s.getNativeObject();
77 long[] an =
new long[a.length];
78 for (
int i = 0; i < a.length; i++)
79 an[i] = (a[i] ==
null) ? 0 : a[i].getNativeObject();
85 return (a ==
null) ? 0 : a.length;
static long[] arrayToNative(Z3Object[] a)
static int arrayLength(Z3Object[] a)