Added interfaces for passive learning

Author: misberner

core/src/main/java/de/learnlib/passive/api/PassiveAcceptorLearner.java

@@ -0,0 +1,52 @@
+/* Copyright (C) 2015 TU Dortmund
+ * This file is part of LearnLib, http://www.learnlib.de/.
+ * 
+ * LearnLib is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License version 3.0 as published by the Free Software Foundation.
+ * 
+ * LearnLib is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ * 
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with LearnLib; if not, see
+ * http://www.gnu.de/documents/lgpl.en.html.
+ */
+package de.learnlib.passive.api;
+
+import java.util.Collection;
+
+import net.automatalib.automata.fsa.FiniteStateAcceptor;
+import net.automatalib.words.Word;
+
+public interface PassiveAcceptorLearner<M extends FiniteStateAcceptor<?, I>,I> extends PassiveLearningAlgorithm<M, I, Boolean> {
+	
+	default public void addPositiveSample(Word<I> word) {
+		addSample(word, true);
+	}
+	
+	default public void addPositiveSamples(Collection<? extends Word<I>> words) {
+		addSamples(true, words);
+	}
+	
+	@SuppressWarnings("unchecked")
+	default public void addPositiveSamples(Word<I> ...words) {
+		addSamples(true, words);
+	}
+	
+	
+	default public void addNegativeSample(Word<I> word) {
+		addSample(word, false);
+	}
+	
+	default public void addNegativeSamples(Collection<? extends Word<I>> words) {
+		addSamples(false, words);
+	}
+	
+	@SuppressWarnings("unchecked")
+	default public void addNegativeSamples(Word<I> ...words) {
+		addSamples(false, words);
+	}
+}

core/src/main/java/de/learnlib/passive/api/PassiveDFALearner.java

@@ -0,0 +1,23 @@
+/* Copyright (C) 2015 TU Dortmund
+ * This file is part of LearnLib, http://www.learnlib.de/.
+ * 
+ * LearnLib is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License version 3.0 as published by the Free Software Foundation.
+ * 
+ * LearnLib is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ * 
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with LearnLib; if not, see
+ * http://www.gnu.de/documents/lgpl.en.html.
+ */
+package de.learnlib.passive.api;
+
+import net.automatalib.automata.fsa.DFA;
+
+public interface PassiveDFALearner<I> extends PassiveAcceptorLearner<DFA<?,I>,I> {
+	
+}

core/src/main/java/de/learnlib/passive/api/PassiveLearningAlgorithm.java

@@ -0,0 +1,60 @@
+/* Copyright (C) 2015 TU Dortmund
+ * This file is part of LearnLib, http://www.learnlib.de/.
+ * 
+ * LearnLib is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License version 3.0 as published by the Free Software Foundation.
+ * 
+ * LearnLib is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ * 
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with LearnLib; if not, see
+ * http://www.gnu.de/documents/lgpl.en.html.
+ */
+package de.learnlib.passive.api;
+
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.util.Collection;
+import java.util.Collections;
+import java.util.List;
+
+import net.automatalib.words.Word;
+import de.learnlib.oracles.DefaultQuery;
+
+public interface PassiveLearningAlgorithm<M, I, D> {
+	
+	public void addSamples(Collection<? extends DefaultQuery<I,D>> samples);
+	
+	@SuppressWarnings("unchecked")
+	default public void addSamples(DefaultQuery<I,D> ...samples) {
+		addSamples(Arrays.asList(samples));
+	}
+	
+	default public void addSample(DefaultQuery<I,D> sample) {
+		addSamples(Collections.singleton(sample));
+	}
+	
+	default public void addSample(Word<I> input, D output) {
+		addSample(new DefaultQuery<>(input, output));
+	}
+	
+	default public void addSamples(D output, Collection<? extends Word<I>> words) {
+		List<DefaultQuery<I,D>> queries = new ArrayList<>(words.size());
+		for (Word<I> word : words) {
+			queries.add(new DefaultQuery<>(word, output));
+		}
+	}
+	
+	@SuppressWarnings("unchecked")
+	default public void addSamples(D output, Word<I> ...words) {
+		addSamples(output, Arrays.asList(words));
+	}
+	
+	
+	public M computeModel();
+
+}

core/src/main/java/de/learnlib/passive/api/PassiveNFALearner.java

@@ -0,0 +1,23 @@
+/* Copyright (C) 2015 TU Dortmund
+ * This file is part of LearnLib, http://www.learnlib.de/.
+ * 
+ * LearnLib is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License version 3.0 as published by the Free Software Foundation.
+ * 
+ * LearnLib is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ * 
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with LearnLib; if not, see
+ * http://www.gnu.de/documents/lgpl.en.html.
+ */
+package de.learnlib.passive.api;
+
+import net.automatalib.automata.fsa.NFA;
+
+public interface PassiveNFALearner<I> extends PassiveAcceptorLearner<NFA<?,I>,I> {
+
+}