Public Member Functions | |
void | setLimit (int l) |
Protected Member Functions | |
IDecRefQueue () | |
IDecRefQueue (int move_limit) | |
abstract void | incRef (Context ctx, long obj) |
abstract void | decRef (Context ctx, long obj) |
void | incAndClear (Context ctx, long o) |
void | add (long o) |
void | clear (Context ctx) |
Protected Attributes | |
Object | m_lock = new Object() |
LinkedList< Long > | m_queue = new LinkedList<Long>() |
int | m_move_limit |
Definition at line 22 of file IDecRefQueue.java.
|
inlineprotected |
Definition at line 28 of file IDecRefQueue.java.
|
inlineprotected |
Definition at line 33 of file IDecRefQueue.java.
|
inlineprotected |
Definition at line 51 of file IDecRefQueue.java.
Referenced by Probe.apply(), Goal.AsBoolExpr(), AST.getSExpr(), Tactic.getSolver(), Fixedpoint.ParseString(), ApplyResult.toString(), FuncInterp.Entry.toString(), ParamDescrs.toString(), ASTVector.toString(), Params.toString(), FuncInterp.toString(), Model.toString(), and Solver.toString().
|
inlineprotected |
Definition at line 62 of file IDecRefQueue.java.
Referenced by IDecRefQueue.incAndClear().
|
abstractprotected |
Referenced by IDecRefQueue.clear(), and IDecRefQueue.setLimit().
|
inlineprotected |
Definition at line 44 of file IDecRefQueue.java.
Referenced by Probe.apply(), Goal.AsBoolExpr(), AST.getSExpr(), Tactic.getSolver(), Fixedpoint.ParseString(), ApplyResult.toString(), FuncInterp.Entry.toString(), ParamDescrs.toString(), ASTVector.toString(), Params.toString(), FuncInterp.toString(), Model.toString(), and Solver.toString().
|
abstractprotected |
Referenced by IDecRefQueue.incAndClear(), and IDecRefQueue.setLimit().
|
inline |
Definition at line 38 of file IDecRefQueue.java.
|
protected |
Definition at line 24 of file IDecRefQueue.java.
Referenced by IDecRefQueue.add(), and IDecRefQueue.clear().
|
protected |
Definition at line 26 of file IDecRefQueue.java.
Referenced by IDecRefQueue.incAndClear().
|
protected |
Definition at line 25 of file IDecRefQueue.java.