@@ -0,0 +1,1759 @@
+/* Copyright (C) 2013-2017 TU Dortmund%0A * This file is part of LearnLib, http://www.learnlib.de/.%0A *%0A * Licensed under the Apache License, Version 2.0 (the %22License%22);%0A * you may not use this file except in compliance with the License.%0A * You may obtain a copy of the License at%0A *%0A *     http://www.apache.org/licenses/LICENSE-2.0%0A *%0A * Unless required by applicable law or agreed to in writing, software%0A * distributed under the License is distributed on an %22AS IS%22 BASIS,%0A * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.%0A * See the License for the specific language governing permissions and%0A * limitations under the License.%0A */%0Apackage de.learnlib.passive.rpni.it;%0A%0Aimport de.learnlib.passive.rpni.BlueFringeEDSMDFA;%0Aimport de.learnlib.testsupport.it.learner.AbstractDFAPassiveLearnerIT;%0Aimport de.learnlib.testsupport.it.learner.PassiveLearnerVariantList;%0Aimport net.automatalib.automata.fsa.DFA;%0Aimport net.automatalib.words.Alphabet;%0A%0A/**%0A * @author frohme%0A */%0Apublic class EdsmDfaIT extends AbstractDFAPassiveLearnerIT %7B%0A%0A    @Override%0A    protected %3CI%3E void addLearnerVariants(Alphabet%3CI%3E alphabet,%0A                                          PassiveLearnerVariantList%3CDFA%3C?, I%3E, I, Boolean%3E variants) %7B%0A%0A        final boolean%5B%5D determinism = %7Btrue, false%7D;%0A        final boolean%5B%5D parallelism = %7Btrue, false%7D;%0A%0A        for (final boolean d : determinism) %7B%0A            for (final boolean p : parallelism) %7B%0A                final BlueFringeEDSMDFA%3CI%3E learner = new BlueFringeEDSMDFA%3C%3E(alphabet);%0A                learner.setParallel(p);%0A                learner.setDeterministic(d);%0A                variants.addLearnerVariant(String.format(%22BlueFringeEDSMDFA, det=%25b, par=%25b%22, d, p), learner);%0A            %7D%0A        %7D%0A    %7D%0A%7D%0A

add integration test for EDSM algorithm