Uses of Class
pascal.taie.config.ConfigManager

Packages that use ConfigManager

Package	Description
pascal.taie.config	This package provides functionality for processing options and configurations.

Uses of ConfigManager in pascal.taie.config

Constructors in pascal.taie.config with parameters of type ConfigManager

Modifier	Constructor	Description
	AnalysisPlanner(ConfigManager manager, Set<String> keepResult)