Constructor and Description |
---|
FIFO_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 pv) |
int |
size() |
public void initialize(int size)
IWorklist
initialize
in interface IWorklist
public IVarAbstraction next()
public void push(IVarAbstraction pv)
Copyright © 2021 Soot OSS. All rights reserved.