001package org.dllearner.algorithms.qtl.operations;
002
003import java.util.concurrent.TimeUnit;
004
005/**
006 * Any kind of operation that can timeout.
007 *
008 * @author Lorenz Buehmann
009 */
010@FunctionalInterface
011public interface TimeoutableOperation {
012
013        void setTimeout(long timeout, TimeUnit timeoutUnits);
014}