18 package com.microsoft.z3;
22 protected void incRef(Context ctx,
long obj)
26 Native.funcEntryIncRef(ctx.nCtx(), obj);
27 }
catch (Z3Exception e)
33 protected void decRef(Context ctx,
long obj)
37 Native.funcEntryDecRef(ctx.nCtx(), obj);
38 }
catch (Z3Exception e)