public class CVC5ApiRecoverableException extends CVC5ApiException
CVC5ApiRecoverableException(java.lang.String message)
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public CVC5ApiRecoverableException(java.lang.String message)