de.learnlib.algorithms.adt.api

Class PartialTransitionAnalyzer.HypothesisModificationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.learnlib.algorithms.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

Constructor Summary

Constructors

Constructor and Description
HypothesisModificationException()

Method Summary

Modifier and Type	Method and 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

Constructor Detail

HypothesisModificationException

public HypothesisModificationException()

Method Detail

fillInStackTrace

public Throwable fillInStackTrace()

Overrides:

fillInStackTrace in class Throwable