Package de.learnlib.exception


package de.learnlib.exception
  • Class
    Description
    Exception that is thrown if a parallel batch is interrupted during processing.
    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.
    Unchecked exception class that can be used by implementors of a SUL to wrap any exceptions that occur during the SUL.step(Object) methods.