Package com.ibm.wala.fixedpoint.impl

Class Worklist

java.lang.Object

com.ibm.wala.util.collections.Heap<AbstractStatement>

com.ibm.wala.fixedpoint.impl.Worklist

public class Worklist
extends Heap<AbstractStatement>

Worklist for fixed-point solver implementation

Constructor Summary

Constructors

Constructor	Description
Worklist()

Method Summary

Modifier and Type	Method	Description
protected final boolean	compareElements(AbstractStatement eq1, AbstractStatement eq2)
void	insertStatement(AbstractStatement eq)
AbstractStatement	takeStatement()

Methods inherited from class com.ibm.wala.util.collections.Heap

insert, isEmpty, size, take, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Worklist

public Worklist()

Method Details

compareElements

protected final boolean compareElements(AbstractStatement eq1,
 AbstractStatement eq2)

Specified by:

compareElements in class Heap<AbstractStatement>

Returns:

true iff elt1 is considered < elt2

takeStatement

public AbstractStatement takeStatement()
                                throws NoSuchElementException

Throws:

NoSuchElementException

insertStatement

public void insertStatement(AbstractStatement eq)