org.processmining.logfiltering.legacy.plugins.logfiltering.listener
Interfaces
LogFilteringSettingsListener