Uses of Interface
de.learnlib.sul.SUL
-
Packages that use SUL Package Description de.learnlib.statistic de.learnlib.sul This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs). -
-
Uses of SUL in de.learnlib.statistic
Subinterfaces of SUL in de.learnlib.statistic Modifier and Type Interface Description interfaceStatisticSUL<I,O> -
Uses of SUL in de.learnlib.sul
Subinterfaces of SUL in de.learnlib.sul Modifier and Type Interface Description interfaceObservableSUL<S,I,O>A System Under Learning (SUL) where at any point in time the internal state can be observed.interfaceStateLocalInputSUL<I,O>A System Under Learning (SUL) which can additionally report the inputs that the SUL can process in its current state, i.e. inputs that will not trigger aSULExceptionwhen used in the next invocation of thestep(Object)method return an otherwise "undefined" behavior.Methods in de.learnlib.sul that return SUL Modifier and Type Method Description default SUL<I,O>SUL. fork()Forks this SUL, if possible.
-