Package de.learnlib.oracle.equivalence
Class EQOracleChain<A,I,D>
- java.lang.Object
-
- de.learnlib.oracle.equivalence.EQOracleChain<A,I,D>
-
- All Implemented Interfaces:
EquivalenceOracle<A,I,D>
- Direct Known Subclasses:
DFAEQOracleChain,MealyEQOracleChain,MooreEQOracleChain
public class EQOracleChain<A,I,D> extends Object implements EquivalenceOracle<A,I,D>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle
EquivalenceOracle.DFAEquivalenceOracle<I extends Object>, EquivalenceOracle.MealyEquivalenceOracle<I extends Object,O extends Object>, EquivalenceOracle.MooreEquivalenceOracle<I extends Object,O extends Object>
-
-
Constructor Summary
Constructors Constructor Description EQOracleChain(EquivalenceOracle<? super A,I,D>... oracles)EQOracleChain(List<? extends EquivalenceOracle<? super A,I,D>> oracles)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddOracle(EquivalenceOracle<? super A,I,D> oracle)@Nullable DefaultQuery<I,D>findCounterExample(A hypothesis, Collection<? extends I> inputs)
-
-
-
Constructor Detail
-
EQOracleChain
@SafeVarargs public EQOracleChain(EquivalenceOracle<? super A,I,D>... oracles)
-
EQOracleChain
public EQOracleChain(List<? extends EquivalenceOracle<? super A,I,D>> oracles)
-
-
Method Detail
-
addOracle
public void addOracle(EquivalenceOracle<? super A,I,D> oracle)
-
findCounterExample
public @Nullable DefaultQuery<I,D> findCounterExample(A hypothesis, Collection<? extends I> inputs)
- Specified by:
findCounterExamplein interfaceEquivalenceOracle<A,I,D>
-
-