com.ibm.wala.dataflow.IFDS

Interface TabulationDomain<F,T>

Type Parameters:

F - factoid type

T - type of nodes in the supergraph

All Superinterfaces:

java.lang.Iterable<F>, com.ibm.wala.util.intset.OrdinalSetMapping<F>

All Known Implementing Classes:

UnorderedDomain

public interface TabulationDomain<F,T>
extends com.ibm.wala.util.intset.OrdinalSetMapping<F>

Domain of facts for tabulation.

Method Summary

Modifier and Type	Method and Description
boolean	hasPriorityOver(PathEdge<T> p1, PathEdge<T> p2) returns true if p1 should be processed before p2 by the TabulationSolver

Methods inherited from interface com.ibm.wala.util.intset.OrdinalSetMapping

add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex, stream

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

hasPriorityOver

boolean hasPriorityOver(PathEdge<T> p1,
                        PathEdge<T> p2)

returns true if p1 should be processed before p2 by the TabulationSolver

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