Package de.learnlib.oracle.equivalence
Class IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>
- java.lang.Object
-
- de.learnlib.oracle.equivalence.AbstractTestWordEQOracle<A,I,D>
-
- de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle<A,I,D>
-
- All Implemented Interfaces:
EquivalenceOracle<A,I,D>
- Direct Known Subclasses:
DFAIncrementalWMethodEQOracle
,MealyIncrementalWMethodEQOracle
,MooreIncrementalWMethodEQOracle
public class IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> extends AbstractTestWordEQOracle<A,I,D>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, EquivalenceOracle.MooreEquivalenceOracle<I,O>
-
-
Constructor Summary
Constructors Constructor Description IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet)
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet, int maxDepth)
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet, int maxDepth, int batchSize)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected Stream<Word<I>>
generateTestWords(A hypothesis, Collection<? extends I> inputs)
Generate the stream of test words that should be used for the current equivalence check cycle.int
getMaxDepth()
void
setMaxDepth(int maxDepth)
-
Methods inherited from class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
findCounterExample
-
-
-
-
Constructor Detail
-
IncrementalWMethodEQOracle
public IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet)
-
IncrementalWMethodEQOracle
public IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet, int maxDepth)
-
IncrementalWMethodEQOracle
public IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet, int maxDepth, int batchSize)
-
-
Method Detail
-
getMaxDepth
public int getMaxDepth()
-
setMaxDepth
public void setMaxDepth(int maxDepth)
-
generateTestWords
protected Stream<Word<I>> generateTestWords(A hypothesis, Collection<? extends I> inputs)
Description copied from class:AbstractTestWordEQOracle
Generate the stream of test words that should be used for the current equivalence check cycle.- Specified by:
generateTestWords
in classAbstractTestWordEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>
- Parameters:
hypothesis
- the current hypothesis of the learning algorithminputs
- the collection of inputs to consider- Returns:
- the stream of test words used for equivalence testing
- See Also:
EquivalenceOracle.findCounterExample(Object, Collection)
-
-