Class IncrementalWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,​I,​?,​?,​?> & net.automatalib.automaton.concept.Output<I,​D>,​I,​D>

    • Constructor Detail

      • IncrementalWMethodEQOracle

        public IncrementalWMethodEQOracle​(MembershipOracle<I,​D> oracle,
                                          net.automatalib.alphabet.Alphabet<I> alphabet)
      • IncrementalWMethodEQOracle

        public IncrementalWMethodEQOracle​(MembershipOracle<I,​D> oracle,
                                          net.automatalib.alphabet.Alphabet<I> alphabet,
                                          int maxDepth)
      • IncrementalWMethodEQOracle

        public IncrementalWMethodEQOracle​(MembershipOracle<I,​D> oracle,
                                          net.automatalib.alphabet.Alphabet<I> alphabet,
                                          int maxDepth,
                                          int batchSize)
    • Method Detail

      • getMaxDepth

        public int getMaxDepth()
      • setMaxDepth

        public void setMaxDepth​(int maxDepth)
      • generateTestWords

        protected Stream<net.automatalib.word.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 class AbstractTestWordEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,​I,​?,​?,​?> & net.automatalib.automaton.concept.Output<I,​D>,​I,​D>
        Parameters:
        hypothesis - the current hypothesis of the learning algorithm
        inputs - the collection of inputs to consider
        Returns:
        the stream of test words used for equivalence testing
        See Also:
        EquivalenceOracle.findCounterExample(Object, Collection)