001/* Copyright (C) 2013 TU Dortmund
002 * This file is part of LearnLib, http://www.learnlib.de/.
003 *
004 * LearnLib is free software; you can redistribute it and/or
005 * modify it under the terms of the GNU Lesser General Public
006 * License version 3.0 as published by the Free Software Foundation.
007 *
008 * LearnLib is distributed in the hope that it will be useful,
009 * but WITHOUT ANY WARRANTY; without even the implied warranty of
010 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
011 * Lesser General Public License for more details.
012 *
013 * You should have received a copy of the GNU Lesser General Public
014 * License along with LearnLib; if not, see
015 * <http://www.gnu.de/documents/lgpl.en.html>.
016 */
017package de.learnlib.api;
018
019/**
020 * Interface for a system under learning (SUL) that can make single steps.
021 *
022 * @param <I> input symbols
023 * @param <O> output symbols
024 *
025 * @author falkhowar
026 */
027public interface SUL<I, O> {
028
029    /**
030     * setup SUL.
031     */
032    void pre();
033
034    /**
035     * shut down SUL.
036     */
037    void post();
038    
039    /**
040     * make one step on the SUL.
041     *
042     * @param in input to the SUL
043     * @return output of SUL
044     */
045    O step(I in);
046
047}