Class CVC5ApiOptionException

    • Constructor Summary

      Constructors 
      Constructor Description
      CVC5ApiOptionException​(java.lang.String message)  
    • Method Summary

      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • CVC5ApiOptionException

        public CVC5ApiOptionException​(java.lang.String message)