PQ_Worklist (Soot - a J*va Optimization Framework 4.6.0 API)

java.lang.Object
- soot.jimple.spark.geom.geomPA.PQ_Worklist

All Implemented Interfaces:

IWorklist
```
public class PQ_Worklist
extends Object
implements IWorklist
```
The implementation of prioritized worklist. The priority is computed by two parameters: the Topsort order and the least recent fired (LRF) timestamp. For two pointers p and q p has higher priority than q iff: 1. topsort_order(p) < topsort_order(q) 2. topsort_order(p) == topsort_order(q) && LRF(p) < LRF(q)

Author:

xiao

Constructor Summary

Constructors
Constructor Description

PQ_Worklist()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PQ_Worklist
```
public PQ_Worklist()
```
- Method Detail
  - initialize
```
public void initialize(int size)
```
    Description copied from interface: IWorklist
    
    Some worklist may need the initial capacity.
    
    Specified by:
    
    initialize in interface IWorklist
  - has_job
```
public boolean has_job()
```
    Specified by:
    
    has_job in interface IWorklist
  - next
```
public IVarAbstraction next()
```
    Specified by:
    
    next in interface IWorklist
  - push
```
public void push(IVarAbstraction e)
```
    Specified by:
    
    push in interface IWorklist
  - size
```
public int size()
```
    Specified by:
    
    size in interface IWorklist
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface IWorklist