de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle 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
// 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.api.oracle.EquivalenceOracle;
import de.learnlib.api.oracle.MembershipOracle;
import net.automatalib.automata.transducers.MealyMachine;
import net.automatalib.words.Alphabet;
import net.automatalib.words.Word;
/**
* This is an auto-generated refinement. See the {@link IncrementalWMethodEQOracle original class}.
*/
public class MealyIncrementalWMethodEQOracle extends IncrementalWMethodEQOracle, I, Word> implements EquivalenceOracle.MealyEquivalenceOracle {
/**
* This is an auto-generated constructor. See the {@link IncrementalWMethodEQOracle#IncrementalWMethodEQOracle(MembershipOracle, Alphabet) original constructor}.
*/
public MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle oracle,
Alphabet alphabet) {
super(oracle, alphabet);
}
/**
* This is an auto-generated constructor. See the {@link IncrementalWMethodEQOracle#IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int) original constructor}.
*/
public MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle oracle,
Alphabet alphabet, int maxDepth) {
super(oracle, alphabet, maxDepth);
}
/**
* This is an auto-generated constructor. See the {@link IncrementalWMethodEQOracle#IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int, int) original constructor}.
*/
public MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle oracle,
Alphabet alphabet, int maxDepth, int batchSize) {
super(oracle, alphabet, maxDepth, batchSize);
}
}