T
- type of node in the supergraphP
- type of a procedure (like a box in an RSM)F
- type of factoids propagated when solving this problempublic interface TabulationProblem<T,P,F>
Modifier and Type | Method and Description |
---|---|
TabulationDomain<F,T> |
getDomain() |
IFlowFunctionMap<T> |
getFunctionMap() |
IMergeFunction |
getMergeFunction()
Special case: if supportsMerge(), then the problem is not really IFDS anymore.
|
ISupergraph<T,P> |
getSupergraph() |
Collection<PathEdge<T>> |
initialSeeds()
Define the set of path edges to start propagation with.
|
ISupergraph<T,P> getSupergraph()
TabulationDomain<F,T> getDomain()
IFlowFunctionMap<T> getFunctionMap()
Collection<PathEdge<T>> initialSeeds()
IMergeFunction getMergeFunction()