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

There is a newer version: 0.17.0

Show 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.api.oracle.BlackBoxOracle;
import de.learnlib.api.oracle.PropertyOracle;
import java.util.Collection;
import net.automatalib.automata.transducers.MealyMachine;
import net.automatalib.words.Word;

/**
 * This is an auto-generated refinement. See the {@link DisproveFirstOracle original class}.
 */
public class MealyDisproveFirstOracle extends DisproveFirstOracle, I, Word> implements BlackBoxOracle.MealyBlackBoxOracle {
  /**
   * This is an auto-generated constructor. See the {@link DisproveFirstOracle#DisproveFirstOracle() original constructor}.
   */
  public MealyDisproveFirstOracle() {
    super();
  }

  /**
   * This is an auto-generated constructor. See the {@link DisproveFirstOracle#DisproveFirstOracle(PropertyOracle) original constructor}.
   */
  public MealyDisproveFirstOracle(PropertyOracle.MealyPropertyOracle propertyOracle) {
    super(propertyOracle);
  }

  /**
   * This is an auto-generated constructor. See the {@link DisproveFirstOracle#DisproveFirstOracle(Collection) original constructor}.
   */
  public MealyDisproveFirstOracle(
      Collection> propertyOracles) {
    super(propertyOracles);
  }
}