public class TabulationSolver.Result extends Object implements TabulationResult<T,P,F>
Constructor and Description |
---|
Result() |
Modifier and Type | Method and Description |
---|---|
TabulationProblem<T,P,F> |
getProblem() |
IntSet |
getResult(T node)
get the bitvector of facts that hold at the entry to a given node
|
Collection<PathEdge<T>> |
getSeeds() |
IntSet |
getSummaryTargets(T n1,
int d1,
T n2) |
Collection<T> |
getSupergraphNodesReached() |
String |
toString() |
public IntSet getResult(T node)
getResult
in interface TabulationResult<T,P,F>
node
- a node in the supergraphpublic TabulationProblem<T,P,F> getProblem()
getProblem
in interface TabulationResult<T,P,F>
public Collection<T> getSupergraphNodesReached()
getSupergraphNodesReached
in interface TabulationResult<T,P,F>
public IntSet getSummaryTargets(T n1, int d1, T n2)
getSummaryTargets
in interface TabulationResult<T,P,F>
n1
- d1
- n2
- public Collection<PathEdge<T>> getSeeds()