Package net.maswag.falcaun

Class TimeoutEQOracle<I,O>

java.lang.Object
net.maswag.falcaun.TimeoutEQOracle<I,O>
Type Parameters:
I - Input symbol
O - Output symbol
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 TimeoutEQOracle<I,O> extends Object implements de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>
Am equivalence oracle to add timeout in addition to the original oracle.
Author:
Masaki Waga <masakiwaga@gmail.com>

  • Nested Class Summary

    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 de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>
    eqOracle
     
    private static final org.slf4j.Logger
    LOGGER
     
    private long
    startTime
     
    private long
    timeout
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    TimeoutEQOracle(de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle, long timeout)
     

  • 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> objects, Collection<? extends I> collection)
    (package private) void
    start()
    Start ticking the clock

    Methods inherited from class java.lang.Object

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

  • Field Details

    • LOGGER

      private static final org.slf4j.Logger LOGGER

    • timeout

      private long timeout

    • startTime

      private long startTime

    • eqOracle

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

  • Constructor Details

    • TimeoutEQOracle

      TimeoutEQOracle(de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O> eqOracle, long timeout)
      Parameters:
      eqOracle - the wrapped equivalence oracle
      timeout - timeout in seconds.

  • Method Details

    • start

      void start()
      Start ticking the clock

    • findCounterExample

      @Nullable @ParametersAreNullableByDefault public de.learnlib.query.DefaultQuery<I,net.automatalib.word.Word<O>> findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> objects, Collection<? extends I> collection)
      Specified by:
      findCounterExample in interface de.learnlib.oracle.EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>