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

Packages that use PartiallyBalancedTabulationSolver

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

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

Subclasses of PartiallyBalancedTabulationSolver in com.ibm.wala.dataflow.IFDS

Modifier and Type	Class and Description
class	BoundedPartiallyBalancedSolver<T,P,F> A TabulationSolver that gives up after a finite bound.

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

Modifier and Type	Method and Description
static <T,P,F> PartiallyBalancedTabulationSolver<T,P,F>	PartiallyBalancedTabulationSolver.createPartiallyBalancedTabulationSolver(PartiallyBalancedTabulationProblem<T,P,F> p, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)