Package com.ibm.wala.dataflow.IFDS
Interface TabulationDomain<F,T>
-
- Type Parameters:
F
- factoid typeT
- type of nodes in the supergraph
- All Superinterfaces:
Iterable<F>
,OrdinalSetMapping<F>
- All Known Implementing Classes:
UnorderedDomain
public interface TabulationDomain<F,T> extends OrdinalSetMapping<F>
Domain of facts for tabulation.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
hasPriorityOver(PathEdge<T> p1, PathEdge<T> p2)
returnstrue
if p1 should be processed before p2 by theTabulationSolver
For example, if this domain supports a partial order on facts, return true if p1.d2 is weaker than p2.d2 (intuitively p1.d2 meet p2.d2 = p1.d2) return false otherwise-
Methods inherited from interface java.lang.Iterable
forEach, iterator, spliterator
-
Methods inherited from interface com.ibm.wala.util.intset.OrdinalSetMapping
add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex
-
-
-
-
Method Detail
-
hasPriorityOver
boolean hasPriorityOver(PathEdge<T> p1, PathEdge<T> p2)
returnstrue
if p1 should be processed before p2 by theTabulationSolver
For example, if this domain supports a partial order on facts, return true if p1.d2 is weaker than p2.d2 (intuitively p1.d2 meet p2.d2 = p1.d2) return false otherwise
-
-