de.learnlib.oracle.equivalence.MealySimulatorEQOracle Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of learnlib-equivalence-oracles Show documentation
Show all versions of learnlib-equivalence-oracles Show documentation
A collection of equivalence oracles
The newest version!
// This class has been generated by de.learnlib.buildtool.refinement.processor.RefinementProcessor.
// Do not edit this class, changes will be overridden.
package de.learnlib.oracle.equivalence;
import de.learnlib.oracle.EquivalenceOracle;
import net.automatalib.automaton.transducer.MealyMachine;
import net.automatalib.word.Word;
/**
* This is an auto-generated refinement. See the {@link SimulatorEQOracle original class}.
*/
public class MealySimulatorEQOracle extends SimulatorEQOracle, I, Word> implements EquivalenceOracle.MealyEquivalenceOracle {
/**
* This is an auto-generated constructor. See the {@link SimulatorEQOracle#SimulatorEQOracle(net.automatalib.automaton.UniversalDeterministicAutomaton) original constructor}.
*/
public MealySimulatorEQOracle(MealyMachine, I, ?, O> reference) {
super(reference);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy