Hierarchy For Package de.learnlib.oracle.equivalence

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • de.learnlib.util.AbstractBFOracle<A,I,D> (implements de.learnlib.oracle.AutomatonOracle<A,I,D>)
    • de.learnlib.oracle.equivalence.AbstractBFInclusionOracle<A,I,D> (implements de.learnlib.oracle.InclusionOracle<A,I,D>)
      • de.learnlib.oracle.equivalence.DFABFInclusionOracle<I> (implements de.learnlib.oracle.AutomatonOracle.DFAOracle<I>, de.learnlib.oracle.InclusionOracle.DFAInclusionOracle<I>)
      • de.learnlib.oracle.equivalence.MealyBFInclusionOracle<I,O> (implements de.learnlib.oracle.AutomatonOracle.MealyOracle<I,O>, de.learnlib.oracle.InclusionOracle.MealyInclusionOracle<I,O>)
  • de.learnlib.oracle.equivalence.AbstractTestWordEQOracle<A,I,D> (implements de.learnlib.oracle.EquivalenceOracle<A,I,D>, de.learnlib.TestWordGenerator<A,I>)
    • de.learnlib.oracle.equivalence.CompleteExplorationEQOracle<A,I,D>
      • de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
      • de.learnlib.oracle.equivalence.MealyCompleteExplorationEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • de.learnlib.oracle.equivalence.MooreCompleteExplorationEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle<A,I,D>
      • de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
      • de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • de.learnlib.oracle.equivalence.MooreIncrementalWMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.KWayStateCoverEQOracle<A,I,D>
    • de.learnlib.oracle.equivalence.KWayTransitionCoverEQOracle<A,I,D>
    • de.learnlib.oracle.equivalence.RandomWMethodEQOracle<A,I,D>
      • de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
      • de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.RandomWordsEQOracle<A,I,D>
      • de.learnlib.oracle.equivalence.DFARandomWordsEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
      • de.learnlib.oracle.equivalence.MealyRandomWordsEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.RandomWpMethodEQOracle<A,I,D>
      • de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
      • de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.WMethodEQOracle<A,I,D>
      • de.learnlib.oracle.equivalence.DFAWMethodEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
      • de.learnlib.oracle.equivalence.MealyWMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • de.learnlib.oracle.equivalence.MooreWMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.WpMethodEQOracle<A,I,D>
      • de.learnlib.oracle.equivalence.DFAWpMethodEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
      • de.learnlib.oracle.equivalence.MealyWpMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
      • de.learnlib.oracle.equivalence.MooreWpMethodEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
  • de.learnlib.oracle.equivalence.CExFirstOracle<A,I,D> (implements de.learnlib.oracle.BlackBoxOracle<A,I,D>)
    • de.learnlib.oracle.equivalence.DFACExFirstOracle<I> (implements de.learnlib.oracle.BlackBoxOracle.DFABlackBoxOracle<I>, de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
    • de.learnlib.oracle.equivalence.MealyCExFirstOracle<I,O> (implements de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<I,O>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
  • de.learnlib.oracle.equivalence.DisproveFirstOracle<A,I,D> (implements de.learnlib.oracle.BlackBoxOracle<A,I,D>)
    • de.learnlib.oracle.equivalence.DFADisproveFirstOracle<I> (implements de.learnlib.oracle.BlackBoxOracle.DFABlackBoxOracle<I>)
    • de.learnlib.oracle.equivalence.MealyDisproveFirstOracle<I,O> (implements de.learnlib.oracle.BlackBoxOracle.MealyBlackBoxOracle<I,O>)
  • de.learnlib.oracle.equivalence.EQOracleChain<A,I,D> (implements de.learnlib.oracle.EquivalenceOracle<A,I,D>)
    • de.learnlib.oracle.equivalence.DFAEQOracleChain<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
    • de.learnlib.oracle.equivalence.MealyEQOracleChain<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.MMLTEQOracleChain<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MMLTEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.MooreEQOracleChain<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)
  • de.learnlib.oracle.equivalence.KWayStateCoverEQOracleBuilder<A,I,D>
  • de.learnlib.oracle.equivalence.KWayTransitionCoverEQOracleBuilder<A,I,D>
  • de.learnlib.oracle.equivalence.SampleSetEQOracle<I,D> (implements de.learnlib.oracle.EquivalenceOracle<A,I,D>)
  • de.learnlib.oracle.equivalence.SimulatorEQOracle<A,I,D> (implements de.learnlib.oracle.EquivalenceOracle<A,I,D>)
    • de.learnlib.oracle.equivalence.DFASimulatorEQOracle<I> (implements de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>)
    • de.learnlib.oracle.equivalence.MealySimulatorEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>)
    • de.learnlib.oracle.equivalence.MooreSimulatorEQOracle<I,O> (implements de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>)