CVC5ApiOptionException

java.lang.Object
- java.lang.Throwable
- - java.lang.Exception
  - - io.github.cvc5.CVC5ApiException
    - - io.github.cvc5.CVC5ApiRecoverableException
      - io.github.cvc5.CVC5ApiOptionException

All Implemented Interfaces:: java.io.Serializable

public class CVC5ApiOptionException
extends CVC5ApiRecoverableException

See Also:: Serialized Form

- 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)