de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle 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

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 de.learnlib.oracle.MembershipOracle;
import java.util.Random;
import net.automatalib.automaton.transducer.MooreMachine;
import net.automatalib.word.Word;

/**
 * This is an auto-generated refinement. See the {@link RandomWordsEQOracle original class}.
 */
public class MooreRandomWordsEQOracle extends RandomWordsEQOracle, I, Word> implements EquivalenceOracle.MooreEquivalenceOracle {
  /**
   * This is an auto-generated constructor. See the {@link RandomWordsEQOracle#RandomWordsEQOracle(MembershipOracle, int, int, int) original constructor}.
   */
  public MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle mqOracle,
      int minLength, int maxLength, int maxTests) {
    super(mqOracle, minLength, maxLength, maxTests);
  }

  /**
   * This is an auto-generated constructor. See the {@link RandomWordsEQOracle#RandomWordsEQOracle(MembershipOracle, int, int, int, Random) original constructor}.
   */
  public MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle mqOracle,
      int minLength, int maxLength, int maxTests, Random random) {
    super(mqOracle, minLength, maxLength, maxTests, random);
  }

  /**
   * This is an auto-generated constructor. See the {@link RandomWordsEQOracle#RandomWordsEQOracle(MembershipOracle, int, int, int, Random, int) original constructor}.
   */
  public MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle mqOracle,
      int minLength, int maxLength, int maxTests, Random random, int batchSize) {
    super(mqOracle, minLength, maxLength, maxTests, random, batchSize);
  }
}