com.ibm.wala.dataflow.IFDS

Interface TabulationDomain<F,T>

Type Parameters:

F - factoid type

T - type of nodes in the supergraph

All Superinterfaces:

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

Methods

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 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 com.ibm.wala.util.intset.OrdinalSetMapping

add, getMappedIndex, getMappedObject, getMaximumIndex, getSize, hasMappedIndex

Methods inherited from interface java.lang.Iterable

iterator

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