Package de.learnlib.oracle.equivalence

Class CExFirstOracle<A extends net.automatalib.automaton.concept.Output<I,​D>,​I,​D>

  • Type Parameters:
    A - automaton type
    I - input symbol type
    D - output domain type
    All Implemented Interfaces:
    BlackBoxOracle<A,​I,​D>, EquivalenceOracle<A,​I,​D>, InclusionOracle<A,​I,​D>
    Direct Known Subclasses:
    DFACExFirstOracle, MealyCExFirstOracle
    public class CExFirstOracle<A extends net.automatalib.automaton.concept.Output<I,​D>,​I,​D>
extends Object
implements BlackBoxOracle<A,​I,​D>
    The strategy of this black-box oracle is to first try out a property, to see if it can be disproved. If it can not be disproved it tries the same property to find a counter example to the hypothesis, before continuing with the next property.

    This implementation may be used when refining a hypothesis is inexpensive compared to disproving propertyOracles.

    See Also:
    DisproveFirstOracle