java.lang.Object
- com.ibm.wala.dataflow.IFDS.TabulationSolver<T,P,F>
- - com.ibm.wala.dataflow.IFDS.BoundedTabulationSolver<T,P,F>

Type Parameters:

T - type of node in the supergraph

P - type of a procedure (like a box in an RSM)

F - type of factoids propagated when solving this problem
```
public class BoundedTabulationSolver<T,P,F>
extends TabulationSolver<T,P,F>
```
A TabulationSolver that gives up after a finite bound.

Nested Class Summary
- Nested classes/interfaces inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver
  TabulationSolver.Result, TabulationSolver.Worklist

Field Summary
- Fields inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver
  DEBUG_LEVEL, flowFunctionMap, PERIODIC_WIPE_SOFT_CACHES, progressMonitor, summaryEdges, supergraph, verbose

Constructor Summary

Constructors
Modifier	Constructor	Description
`protected`	`BoundedTabulationSolver(TabulationProblem<T,P,F> p, int bound, MonitorUtil.IProgressMonitor monitor)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static <T,P,F> BoundedTabulationSolver<T,P,F>`	`createBoundedTabulationSolver(TabulationProblem<T,P,F> p, int bound, MonitorUtil.IProgressMonitor monitor)`
`int`	`getNumSteps()`
`protected boolean`	`propagate(T s_p, int i, T n, int j)`	Propagate the fact -> has arisen as a path edge.
`void`	`resetBound()`

Methods inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver
addSeed, addToWorkList, computeBinaryFlow, computeFlow, computeInverseFlow, findOrCreateCallFlowEdges, findOrCreateLocalPathEdges, findOrCreateLocalSummaryEdges, getCurPathEdge, getCurSummaryEdge, getInversePathEdges, getLocalPathEdges, getProblem, getProgressMonitor, getResult, getSeeds, getSummarySources, getSupergraph, initialize, make, makeWorklist, performVerboseAction, popFromWorkList, processCall, processExit, processParticularCallee, recordCall, solve, tendToSoftCaches

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BoundedTabulationSolver

protected BoundedTabulationSolver(TabulationProblem<T,P,F> p,
                                  int bound,
                                  MonitorUtil.IProgressMonitor monitor)

Method Detail

createBoundedTabulationSolver

public static <T,P,F> BoundedTabulationSolver<T,P,F> createBoundedTabulationSolver(TabulationProblem<T,P,F> p,
                                                                                                           int bound,
                                                                                                           MonitorUtil.IProgressMonitor monitor)

propagate
```
protected boolean propagate(T s_p,
                            int i,
                            T n,
                            int j)
```
Description copied from class: TabulationSolver

Propagate the fact -> has arisen as a path edge. Returns true iff the path edge was not previously observed.

Overrides:

propagate in class TabulationSolver<T,P,F>

Parameters:

s_p - entry block

i - dataflow fact on entry

n - reached block

j - dataflow fact reached

getNumSteps
```
public int getNumSteps()
```

resetBound
```
public void resetBound()
```

Class BoundedTabulationSolver<T,​P,​F>

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver

Field Summary

Fields inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver

Constructor Summary

Method Summary

Methods inherited from class com.ibm.wala.dataflow.IFDS.TabulationSolver

Methods inherited from class java.lang.Object

Constructor Detail

BoundedTabulationSolver

Method Detail

createBoundedTabulationSolver

propagate

getNumSteps

resetBound

Class BoundedTabulationSolver<T,P,F>