Package net.maswag.falcaun

Class StopDisprovedEQOracle<I,O,C>

java.lang.Object
net.maswag.falcaun.StopDisprovedEQOracle<I,O,C>
Type Parameters:
I - Input symbol
O - Output symbol
C -
All Implemented Interfaces:
de.learnlib.oracle.EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>
public class StopDisprovedEQOracle<I,O,C> extends Object implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>
Wraps an equivalence oracle so that the equivalence oracle is skipped if all the LTL oracles are disproved.
Author:
Masaki Waga <masakiwaga@gmail.com>

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    (package private) static class 
    StopDisprovedEQOracle.StaticLTLList<I>
     

    Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle

    de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>, de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle<I,O>

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private final de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>
    eqOracle
     
    private final AdaptiveSTLUpdater<C>
    ltlOracles
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    StopDisprovedEQOracle(de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle, AdaptiveSTLUpdater<C> ltlOracles)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    de.learnlib.query.DefaultQuery<I,net.automatalib.word.Word<O>>
    findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • ltlOracles

      private final AdaptiveSTLUpdater<C> ltlOracles

    • eqOracle

      private final de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle

  • Constructor Details

    • StopDisprovedEQOracle

      StopDisprovedEQOracle(de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle, AdaptiveSTLUpdater<C> ltlOracles)
      Parameters:
      eqOracle - the wrapped equivalence oracle
      ltlOracles - ltlOracles

  • Method Details

    • findCounterExample

      @Nullable @ParametersAreNonnullByDefault public de.learnlib.query.DefaultQuery<I,net.automatalib.word.Word<O>> findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)

      This function skip running an equivalence query if all the LTL oracles are disproved.

      Specified by:
      findCounterExample in interface de.learnlib.oracle.EquivalenceOracle<I,O,C>