Uses of Interface
com.ibm.wala.dataflow.IFDS.PartiallyBalancedTabulationProblem

Packages that use PartiallyBalancedTabulationProblem

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

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

Methods in com.ibm.wala.dataflow.IFDS with parameters of type PartiallyBalancedTabulationProblem

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

Constructors in com.ibm.wala.dataflow.IFDS with parameters of type PartiallyBalancedTabulationProblem

Constructor and Description
BoundedPartiallyBalancedSolver(PartiallyBalancedTabulationProblem<T,P,F> p, int bound, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
PartiallyBalancedTabulationSolver(PartiallyBalancedTabulationProblem<T,P,F> p, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Uses of PartiallyBalancedTabulationProblem in com.ibm.wala.ipa.slicer

Classes in com.ibm.wala.ipa.slicer that implement PartiallyBalancedTabulationProblem

Modifier and Type	Class and Description
static class	Slicer.SliceProblem Tabulation problem representing slicing