001package org.dllearner.algorithms.qtl.operations;
002
003/**
004 * @author Lorenz Buehmann
005 */
006@FunctionalInterface
007public interface StoppableOperation {
008
009        void stop();
010}