Z3
src
api
java
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
}
Generated on Sat Nov 12 2016 22:01:05 for Z3 by
1.8.12