Uses of Class
com.ibm.wala.dataflow.IFDS.BoundedTabulationSolver

Packages that use BoundedTabulationSolver

Package	Description
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.

Uses of BoundedTabulationSolver in com.ibm.wala.dataflow.IFDS

Methods in com.ibm.wala.dataflow.IFDS that return BoundedTabulationSolver

Modifier and Type	Method and Description
static <T,P,F> BoundedTabulationSolver<T,P,F>	BoundedTabulationSolver.createBoundedTabulationSolver(TabulationProblem<T,P,F> p, int bound, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)