public class PQ_Worklist extends Object implements IWorklist
Constructor and Description |
---|
PQ_Worklist() |
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 e) |
int |
size() |
public void initialize(int size)
IWorklist
initialize
in interface IWorklist
public IVarAbstraction next()
public void push(IVarAbstraction e)