Exemple #1
0
 protected void decRef(Context ctx, long obj) {
   try {
     Native.astVectorDecRef(ctx.nCtx(), obj);
   } catch (Z3Exception e) {
     // OK.
   }
 }
 @Override
 protected void decRef(Context ctx, long obj) {
   Native.astVectorDecRef(ctx.nCtx(), obj);
 }