Z3
SolverDecRefQueue.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
20 class SolverDecRefQueue extends IDecRefQueue
21 {
22  protected void incRef(Context ctx, long obj)
23  {
24  try
25  {
26  Native.solverIncRef(ctx.nCtx(), obj);
27  } catch (Z3Exception e)
28  {
29  // OK.
30  }
31  }
32 
33  protected void decRef(Context ctx, long obj)
34  {
35  try
36  {
37  Native.solverDecRef(ctx.nCtx(), obj);
38  } catch (Z3Exception e)
39  {
40  // OK.
41  }
42  }
43 };