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