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
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.