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:
IFDSTaintDomain
,UnorderedDomain
Domain of facts for tabulation.
-
Method Summary
Modifier and TypeMethodDescriptionboolean
hasPriorityOver
(PathEdge<T> p1, PathEdge<T> p2) returnstrue
if p1 should be processed before p2 by theTabulationSolver
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, stream
-
Method Details
-
hasPriorityOver
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
-