de.learnlib.oracles.SimulatorOracle Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of learnlib-simulator Show documentation
Show all versions of learnlib-simulator Show documentation
Membership and equivalence oracles using an automaton model as backend
/* Copyright (C) 2013 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
* .
*/
package de.learnlib.oracles;
import net.automatalib.automata.concepts.SuffixOutput;
import net.automatalib.automata.fsa.DFA;
import net.automatalib.automata.transout.MealyMachine;
import net.automatalib.words.Word;
/**
* A membership oracle backed by an automaton. The automaton must implement
* the {@link SuffixOutput} concept, allowing to identify a suffix part in the output
* (relative to a prefix/suffix subdivision in the input).
*
* @author Malte Isberner
*
* @param input symbol class
* @param (suffix) output class
*/
public class SimulatorOracle extends AbstractSingleQueryOracle {
public static class DFASimulatorOracle extends SimulatorOracle
implements DFAMembershipOracle {
public DFASimulatorOracle(DFA dfa) {
super(dfa);
}
}
public static class MealySimulatorOracle extends SimulatorOracle>
implements MealyMembershipOracle {
public MealySimulatorOracle(MealyMachine mealy) {
super(mealy);
}
}
private final SuffixOutput automaton;
/**
* Constructor.
* @param automaton the suffix-observable automaton
*/
public SimulatorOracle(SuffixOutput automaton) {
this.automaton = automaton;
}
/*
* (non-Javadoc)
* @see de.learnlib.api.MembershipOracle#processQueries(java.util.Collection)
*/
@Override
public O answerQuery(Word prefix, Word suffix) {
return automaton.computeSuffixOutput(prefix, suffix);
}
}