Package | Description |
---|---|
org.processmining.framework.packages |
Modifier and Type | Method and Description |
---|---|
PackageDescriptor[] |
PackageManager.findOrInstallPackages(java.lang.String... packageNames) |
void |
PackageManager.install(java.util.List<PackageDescriptor> toInstall) |
void |
PackageManager.update(boolean autoInstall,
Boot.Level verbose) |