Package cz.cuni.mff.ksi.jinfer.runner.properties

This package contains the configuration of Runner's properties, that is specific settings for each one of jInfer projects.

See:
Description

Class Summary

ModuleSelectionPropertiesPanel	Properties panel of the Runner module.
PropertiesPanelProviderImpl	Properties panel provider of the Runner module.

Package cz.cuni.mff.ksi.jinfer.runner.properties Description

This package contains the configuration of Runner's properties, that is specific settings for each one of jInfer projects. These settings are accessible via jInfer project properties.