Z3
SolverDecRefQueue.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
20 class SolverDecRefQueue extends IDecRefQueue<Solver> {
21  public SolverDecRefQueue() { super(); }
22 
23  @Override
24  protected void decRef(Context ctx, long obj) {
25  Native.solverDecRef(ctx.nCtx(), obj);
26  }
27 }