Interface TabulationDomain<F,T>

Type Parameters:

F - factoid type

T - type of nodes in the supergraph

All Superinterfaces:

Iterable<F>, OrdinalSetMapping<F>

All Known Implementing Classes:

IFDSTaintDomain, UnorderedDomain

public interface TabulationDomain<F,T>
extends OrdinalSetMapping<F>

Domain of facts for tabulation.

Method Summary

Modifier and Type	Method	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 Iterable

forEach, iterator, spliterator

Methods inherited from interface OrdinalSetMapping

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

Method Details

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