com.ibm.wala.dataflow.IFDS

Interfaces  IBinaryReturnFlowFunction IFlowFunction IFlowFunctionMap IMergeFunction IReversibleFlowFunction ISupergraph IUnaryFlowFunction TabulationDomain TabulationProblem TabulationResult

Classes  BackwardsSupergraph CallFlowEdges ExplodedSupergraph ExplodedSupergraphNode ExplodedSupergraphPath ExplodedSupergraphWithSummaryEdges IdentityFlowFunction IdentityFlowFunctions LocalPathEdges LocalSummaryEdges PartiallyCollapsedSupergraph SingletonFlowFunction TabulationSolver UniversalKillFlowFunction UnorderedDomain VectorGenFlowFunction VectorKillFlowFunction

Exceptions  TabulationCancelException