Module de.learnlib.algorithm.adt

Package de.learnlib.algorithm.adt.api

Class PartialTransitionAnalyzer.HypothesisModificationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer.HypothesisModificationException

All Implemented Interfaces:

Serializable

Enclosing interface:

PartialTransitionAnalyzer<S,I>

public static class PartialTransitionAnalyzer.HypothesisModificationException
extends RuntimeException

A helper exception to interrupt computations on an invalid hypothesis. Does not record the stacktrace when thrown (to improve performance)

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
Throwable	fillInStackTrace()

Methods inherited from class java.lang.Throwable

addSuppressed, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

fillInStackTrace

public Throwable fillInStackTrace()

Overrides:

fillInStackTrace in class Throwable