Uses of Class
pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider

Packages that use SpecifiedParamProvider

Package	Description
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.

Uses of SpecifiedParamProvider in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return SpecifiedParamProvider

Modifier and Type	Method	Description
SpecifiedParamProvider	SpecifiedParamProvider.Builder.build()