public class CVC5ApiOptionException extends CVC5ApiRecoverableException
CVC5ApiOptionException(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 CVC5ApiOptionException(java.lang.String message)