Module de.learnlib.algorithm.ttt
Package de.learnlib.algorithm.ttt.base
Class HypothesisChangedException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- java.lang.RuntimeException
-
- de.learnlib.algorithm.ttt.base.HypothesisChangedException
-
- All Implemented Interfaces:
Serializable
public class HypothesisChangedException extends RuntimeException
Exception to indicate structural changes of the hypothesis during counterexample analysis, thus possibly invalidating the counterexample.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description HypothesisChangedException()
-
Method Summary
-
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
-