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