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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected boolean
compareElements(AbstractStatement eq1, AbstractStatement eq2)
void
insertStatement(AbstractStatement eq)
AbstractStatement
takeStatement()
-
-
-
Method Detail
-
compareElements
protected final boolean compareElements(AbstractStatement eq1, AbstractStatement eq2)
- Specified by:
compareElements
in classHeap<AbstractStatement>
- Returns:
- true iff elt1 is considered < elt2
-
takeStatement
public AbstractStatement takeStatement() throws java.util.NoSuchElementException
- Throws:
java.util.NoSuchElementException
-
insertStatement
public void insertStatement(AbstractStatement eq)
-
-