Z3
SolverDecRefQueue.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
20class 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}