Package net.maswag.falcaun

Interface NumericSUL

All Superinterfaces:
AutoCloseable, de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>
All Known Subinterfaces:
ContinuousNumericSUL
All Known Implementing Classes:
SimulinkSUL
public interface NumericSUL extends de.learnlib.sul.SUL<List<Double>,IOSignalPiece<List<Double>>>, AutoCloseable
Systems under learning with numerical I/O.
Author:
Masaki Waga <masakiwaga@gmail.com>

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    clear()
    Clear the counter and the time measure.
    default IOSignal<List<Double>>
    execute(net.automatalib.word.Word<List<Double>> inputSignal)
    Execute the SUL by feeding the entire input
    int
    getCounter()
    Returns the number of SUL executions
    double
    getSimulationTimeSecond()
    Returns the execution time for the simulations
    default void
    post()
     
    default void
    pre()
     

    Methods inherited from interface java.lang.AutoCloseable

    close

    Methods inherited from interface de.learnlib.sul.SUL

    canFork, fork, step