de.learnlib.oracle.equivalence

Class EQOracleChain.DFAEQOracleChain<I>

java.lang.Object

de.learnlib.oracle.equivalence.EQOracleChain<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>

de.learnlib.oracle.equivalence.EQOracleChain.DFAEQOracleChain<I>

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>, EquivalenceOracle.DFAEquivalenceOracle<I>

Enclosing class:

EQOracleChain<A,I,D>

public static class EQOracleChain.DFAEQOracleChain<I>
extends EQOracleChain<net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>
implements EquivalenceOracle.DFAEquivalenceOracle<I>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.oracle.equivalence.EQOracleChain

EQOracleChain.DFAEQOracleChain<I>, EQOracleChain.MealyEQOracleChain<I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
DFAEQOracleChain(EquivalenceOracle<? super net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>... oracles)
DFAEQOracleChain(List<? extends EquivalenceOracle<? super net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>> oracles)

Method Summary

Methods inherited from class de.learnlib.oracle.equivalence.EQOracleChain

findCounterExample

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.api.oracle.EquivalenceOracle

findCounterExample

Constructor Detail

DFAEQOracleChain

@SafeVarargs
public DFAEQOracleChain(EquivalenceOracle<? super net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>... oracles)

DFAEQOracleChain

public DFAEQOracleChain(List<? extends EquivalenceOracle<? super net.automatalib.automata.fsa.DFA<?,I>,I,Boolean>> oracles)