public class SMTTranslationException
extends java.lang.Exception
Constructor and Description |
---|
SMTTranslationException() |
SMTTranslationException(java.lang.String message) |
SMTTranslationException(java.lang.String message,
java.lang.Throwable cause) |
SMTTranslationException(java.lang.String message,
java.lang.Throwable cause,
boolean enableSuppression,
boolean writableStackTrace) |
SMTTranslationException(java.lang.Throwable cause) |
public SMTTranslationException()
public SMTTranslationException(java.lang.String message)
public SMTTranslationException(java.lang.Throwable cause)
public SMTTranslationException(java.lang.String message, java.lang.Throwable cause)
public SMTTranslationException(java.lang.String message, java.lang.Throwable cause, boolean enableSuppression, boolean writableStackTrace)
Copyright © 2003-2019 The KeY-Project.