Class BoundedPartiallyBalancedSolver<T,P,F>

java.lang.Object
com.ibm.wala.dataflow.IFDS.TabulationSolver<T,P,F>
com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationSolver<T,P,F>
com.ibm.wala.dataflow.IFDS.BoundedPartiallyBalancedSolver<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 BoundedPartiallyBalancedSolver<T,P,F> extends PartiallyBalancedTabulationSolver<T,P,F>
A TabulationSolver that gives up after a finite bound.