public class ProverDefinitionException
extends java.lang.RuntimeException
Constructor and Description |
---|
ProverDefinitionException() |
ProverDefinitionException(java.lang.String message) |
ProverDefinitionException(java.lang.String message,
java.lang.Throwable cause) |
ProverDefinitionException(java.lang.String message,
java.lang.Throwable cause,
boolean enableSuppression,
boolean writableStackTrace) |
ProverDefinitionException(java.lang.Throwable cause) |
public ProverDefinitionException()
public ProverDefinitionException(java.lang.String message, java.lang.Throwable cause, boolean enableSuppression, boolean writableStackTrace)
public ProverDefinitionException(java.lang.String message, java.lang.Throwable cause)
public ProverDefinitionException(java.lang.String message)
public ProverDefinitionException(java.lang.Throwable cause)