org.processmining.plugins.guidetreeminer.settings
Interfaces
GuideTreeMinerSettingsListener