Module de.learnlib.api

Package de.learnlib.exception

Class Summary

Class	Description
MappedException<O>	A mapped exception allows one to gracefully handle exceptions thrown, e.g., during a SUL's step method by providing information about the output symbol that should be emitted instead and subsequent outputs.

Exception Summary

Exception	Description
BatchInterruptedException	Exception that is thrown if a parallel batch is interrupted during processing.
SULException	Unchecked exception class that can be used by implementors of a SUL to wrap any exceptions that occur during the SUL.step(Object) methods.