• Home
• de.learnlib
• learnlib-equivalence-oracles
• 0.15.0
• source code
• DFACExFirstOracle.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.learnlib.oracle.equivalence.DFACExFirstOracle Maven / Gradle / Ivy

// 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.EquivalenceOracle;
import de.learnlib.api.oracle.PropertyOracle;
import java.lang.Boolean;
import java.util.Collection;
import net.automatalib.automata.fsa.DFA;

/**
 * This is an auto-generated refinement. See the {@link CExFirstOracle original class}.
 */
public class DFACExFirstOracle extends CExFirstOracle, I, Boolean> implements BlackBoxOracle.DFABlackBoxOracle, EquivalenceOracle.DFAEquivalenceOracle {
  /**
   * This is an auto-generated constructor. See the {@link CExFirstOracle#CExFirstOracle() original constructor}.
   */
  public DFACExFirstOracle() {
    super();
  }

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

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