Uses of Class
sootup.spark.Solver
Packages that use Solver
-
Uses of Solver in sootup.spark
Methods in sootup.spark with parameters of type SolverModifier and TypeMethodDescriptionstatic PointsToAnalysisPointsToAnalysis.fromSolver(@NonNull Solver solver) Builds aPointsToAnalysisover the PAG ofsolver.