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

Packages that use PropagateTypes

Package	Description
pascal.taie.analysis.pta

Uses of PropagateTypes in pascal.taie.analysis.pta

Constructors in pascal.taie.analysis.pta with parameters of type PropagateTypes

Modifier	Constructor	Description
	PointerAnalysisResultImpl(PropagateTypes propTypes, CSManager csManager, Indexer<Obj> objIndexer, CallGraph<CSCallSite,CSMethod> csCallGraph, PointerFlowGraph pfg)