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:: Serializable

public class CVC5ApiOptionException extends CVC5ApiRecoverableException

An option-related API exception. If thrown, API objects can still be used.

See Also:

Constructor Summary

Constructors

Constructor

Description

CVC5ApiOptionException(String message)

Construct with message from a string.
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 Details
- CVC5ApiOptionException
  
  public CVC5ApiOptionException(String message)
  
  Construct with message from a string.
  
  Parameters:
  
  message - The error message.