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 and Description
Worklist()

Method Summary

Modifier and Type	Method and Description
protected 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 Detail

Worklist

public Worklist()

Method Detail

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)