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