public class PropositionalException extends LanguageException
LanguageException.LanguageExceptionReason
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID
kill warning
|
Constructor and Description |
---|
PropositionalException(LanguageException.LanguageExceptionReason reason) |
PropositionalException(LanguageException.LanguageExceptionReason reason,
java.lang.String info) |
private static final long serialVersionUID
public PropositionalException(LanguageException.LanguageExceptionReason reason)
public PropositionalException(LanguageException.LanguageExceptionReason reason, java.lang.String info)