Package de.learnlib.oracle.equivalence
Class CompleteExplorationEQOracle<A extends Output<I,D>,I,D>
- java.lang.Object
-
- de.learnlib.oracle.equivalence.AbstractTestWordEQOracle<A,I,D>
-
- de.learnlib.oracle.equivalence.CompleteExplorationEQOracle<A,I,D>
-
- Type Parameters:
I
- input symbol typeD
- output domain type
- All Implemented Interfaces:
EquivalenceOracle<A,I,D>
- Direct Known Subclasses:
DFACompleteExplorationEQOracle
,MealyCompleteExplorationEQOracle
,MooreCompleteExplorationEQOracle
public class CompleteExplorationEQOracle<A extends Output<I,D>,I,D> extends AbstractTestWordEQOracle<A,I,D>
Implements an equivalence check by complete exploration up to a given depth, i.e., by testing all possible sequences of a certain length within a specified range.
-
-
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 CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int maxDepth)
Constructor.CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth)
Constructor.CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth, int batchSize)
Constructor.
-
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.-
Methods inherited from class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
findCounterExample
-
-
-
-
Constructor Detail
-
CompleteExplorationEQOracle
public CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int maxDepth)
Constructor.- Parameters:
sulOracle
- interface to the system under learningmaxDepth
- maximum exploration depth
-
CompleteExplorationEQOracle
public CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth)
Constructor.- Parameters:
sulOracle
- interface to the system under learningminDepth
- minimum exploration depthmaxDepth
- maximum exploration depth
-
CompleteExplorationEQOracle
public CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth, int batchSize)
Constructor.- Parameters:
sulOracle
- interface to the system under learningminDepth
- minimum exploration depthmaxDepth
- maximum exploration depthbatchSize
- size of the batches sent to the membership oracle
-
-
Method Detail
-
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 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)
-
-