public class SMTTranslationException
extends java.lang.Exception
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
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) |
private static final long serialVersionUID
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)