001
package org.dllearner.utilities;
002
003
public interface ProgressMonitor {
004
005
}
006