Package net.maswag.falcaun

Interface NumericSUL

All Superinterfaces:
AutoCloseable, SUL<List<Double>,IOSignalPiece<List<Double>>>
All Known Subinterfaces:
ContinuousNumericSUL
public interface NumericSUL extends 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()
    Performs cleanup operations after the last step
    default void
    pre()
    Performs setup before the first step.

    Methods inherited from interface java.lang.AutoCloseable

    close

    Methods inherited from interface de.learnlib.sul.SUL

    canFork, fork, step