public interface IWorklist
Modifier and Type | Method and Description |
---|---|
void |
clear() |
boolean |
has_job() |
void |
initialize(int size)
Some worklist may need the initial capacity.
|
IVarAbstraction |
next() |
void |
push(IVarAbstraction p) |
int |
size() |
void initialize(int size)
size
- boolean has_job()
IVarAbstraction next()
void push(IVarAbstraction p)
int size()
void clear()