T
- type of node in the supergraphP
- type of a procedure, like a box in an RSMF
- type of factoids propagated when solving this problempublic interface TabulationResult<T,P,F>
Modifier and Type | Method and Description |
---|---|
TabulationProblem<T,P,F> |
getProblem() |
IntSet |
getResult(T node)
get the bitvector of facts that hold at IN for a given node in the supergraph.
|
Collection<PathEdge<T>> |
getSeeds() |
IntSet |
getSummaryTargets(T n1,
int d1,
T n2) |
Collection<T> |
getSupergraphNodesReached() |
IntSet getResult(T node)
node
- a node in the supergraphTabulationProblem<T,P,F> getProblem()
Collection<T> getSupergraphNodesReached()
IntSet getSummaryTargets(T n1, int d1, T n2)
n1
- d1
- n2
- Collection<PathEdge<T>> getSeeds()
PathEdge
s that were used as seeds during the tabulation.