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

Modifier and Type	Method	Description
int	add(F o)	Add an Object to the set of mapped objects.
int	getMappedIndex(Object o)
F	getMappedObject(int n)
int	getMaximumIndex()
int	getSize()
boolean	hasMappedIndex(F o)
Stream<F>	stream()	Stream over mapped objects.

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