/* Copyright (C) 2013-2020 TU Dortmund
 * This file is part of AutomataLib, http://www.automatalib.net/.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package net.automatalib.ts.acceptors;

import java.util.Collection;
import java.util.Iterator;

import net.automatalib.automata.concepts.Output;
import net.automatalib.ts.DeterministicTransitionSystem;
import net.automatalib.ts.UniversalDTS;

/**
 * A deterministic acceptor transition system.
 *
 * @author Malte Isberner
 * @see AcceptorTS
 * @see DeterministicTransitionSystem
 */
public interface DeterministicAcceptorTS<S, I>
        extends AcceptorTS<S, I>, UniversalDTS<S, I, S, Boolean, Void>, Output<I, Boolean> {

    @Override
    default Boolean computeOutput(Iterable<? extends I> input) {
        return accepts(input);
    }

    @Override
    default boolean accepts(Iterable<? extends I> input) {
        S state = getState(input);
        return state != null && isAccepting(state);
    }

    @Override
    default boolean isAccepting(Collection<? extends S> states) {
        if (states.isEmpty()) {
            return false;
        }
        Iterator<? extends S> stateIt = states.iterator();
        assert stateIt.hasNext();

        S firstState = stateIt.next();
        if (stateIt.hasNext()) {
            throw new IllegalArgumentException("Acceptance of state sets is undefined for DFAs");
        }
        return isAccepting(firstState);
    }
}

@@ -756,16 +756,60 @@
 rator;%0A%0A
+import com.google.common.collect.Iterables;%0A
 import n
@@ -841,16 +841,22 @@
 oncepts.
+Suffix
 Output;%0A
@@ -1213,16 +1213,22 @@
  Void%3E, 
+Suffix
 Output%3CI
@@ -1350,32 +1350,219 @@
 (input);%0A    %7D%0A%0A
+    @Override%0A    default Boolean computeSuffixOutput(Iterable%3C? extends I%3E prefix, Iterable%3C? extends I%3E suffix) %7B%0A        return computeOutput(Iterables.concat(prefix, suffix));%0A    %7D%0A%0A
     @Override%0A  

make DeterministicAcceptorTS extend SuffixOutput