Z3
src
api
java
ModelDecRefQueue.java
Go to the documentation of this file.
1
18
package
com.microsoft.z3;
19
20
class
ModelDecRefQueue
extends
IDecRefQueue
21
{
22
public
ModelDecRefQueue()
23
{
24
super();
25
}
26
27
public
ModelDecRefQueue(
int
move_limit)
28
{
29
super(move_limit);
30
}
31
32
protected
void
incRef(Context ctx,
long
obj)
33
{
34
try
35
{
36
Native.modelIncRef(ctx.nCtx(), obj);
37
}
catch
(Z3Exception e)
38
{
39
// OK.
40
}
41
}
42
43
protected
void
decRef(Context ctx,
long
obj)
44
{
45
try
46
{
47
Native.modelDecRef(ctx.nCtx(), obj);
48
}
catch
(Z3Exception e)
49
{
50
// OK.
51
}
52
}
53
};
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11