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

Packages that use TabulationProblem

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

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

Subinterfaces of TabulationProblem in com.ibm.wala.dataflow.IFDS

Modifier and Type	Interface and Description
interface	PartiallyBalancedTabulationProblem<T,P,F> A TabulationProblem with additional support for computing with partially balanced parentheses.

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

Modifier and Type	Method and Description
TabulationProblem<T,P,F>	TabulationSolver.getProblem()
TabulationProblem<T,P,F>	TabulationSolver.Result.getProblem()
TabulationProblem<T,P,F>	TabulationResult.getProblem()

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

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)
static <T,P,F> TabulationSolver<T,P,F>	TabulationSolver.make(TabulationProblem<T,P,F> p)

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

Constructor and Description
BoundedTabulationSolver(TabulationProblem<T,P,F> p, int bound, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
TabulationSolver(TabulationProblem<T,P,F> p, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

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

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

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