de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle 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 java.lang.Boolean;
import java.util.Random;
import net.automatalib.automata.fsa.DFA;
/**
* This is an auto-generated refinement. See the {@link RandomWpMethodEQOracle original class}.
*/
public class DFARandomWpMethodEQOracle extends RandomWpMethodEQOracle, I, Boolean> implements EquivalenceOracle.DFAEquivalenceOracle {
/**
* This is an auto-generated constructor. See the {@link RandomWpMethodEQOracle#RandomWpMethodEQOracle(MembershipOracle, int, int) original constructor}.
*/
public DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle sulOracle,
int minimalSize, int rndLength) {
super(sulOracle, minimalSize, rndLength);
}
/**
* This is an auto-generated constructor. See the {@link RandomWpMethodEQOracle#RandomWpMethodEQOracle(MembershipOracle, int, int, int) original constructor}.
*/
public DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle sulOracle,
int minimalSize, int rndLength, int bound) {
super(sulOracle, minimalSize, rndLength, bound);
}
/**
* This is an auto-generated constructor. See the {@link RandomWpMethodEQOracle#RandomWpMethodEQOracle(MembershipOracle, int, int, int, int) original constructor}.
*/
public DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle sulOracle,
int minimalSize, int rndLength, int bound, int batchSize) {
super(sulOracle, minimalSize, rndLength, bound, batchSize);
}
/**
* This is an auto-generated constructor. See the {@link RandomWpMethodEQOracle#RandomWpMethodEQOracle(MembershipOracle, int, int, int, Random, int) original constructor}.
*/
public DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle sulOracle,
int minimalSize, int rndLength, int bound, Random random, int batchSize) {
super(sulOracle, minimalSize, rndLength, bound, random, batchSize);
}
}