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

Packages that use TabulationDomain

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

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

Classes in com.ibm.wala.dataflow.IFDS that implement TabulationDomain

Modifier and Type	Class and Description
class	UnorderedDomain<T,U> A TabulationDomain with no build-in partial order defining priority.

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

Modifier and Type	Method and Description
TabulationDomain<F,T>	TabulationProblem.getDomain()

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

Methods in com.ibm.wala.ipa.slicer that return TabulationDomain

Modifier and Type	Method and Description
TabulationDomain<Object,Statement>	Slicer.SliceProblem.getDomain()