18 package com.microsoft.z3;
20 import java.util.LinkedList;
24 protected Object
m_lock =
new Object();
25 protected LinkedList<Long>
m_queue =
new LinkedList<Long>();
35 m_move_limit = move_limit;
38 public void setLimit(
int l) { m_move_limit = l; }
51 protected void add(
long o)
66 for (Long o : m_queue)
void incAndClear(Context ctx, long o)
abstract void incRef(Context ctx, long obj)
IDecRefQueue(int move_limit)
LinkedList< Long > m_queue
abstract void decRef(Context ctx, long obj)