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

Packages that use TabulationSolver

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

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

Subclasses of TabulationSolver 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.
class	BoundedTabulationSolver<T,P,F> A TabulationSolver that gives up after a finite bound.
class	PartiallyBalancedTabulationSolver<T,P,F> Utilities for dealing with tabulation with partially balanced parentheses.

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

Modifier and Type	Method and Description
static <T,P,F> TabulationSolver<T,P,F>	TabulationSolver.make(TabulationProblem<T,P,F> p)