CVC5ApiRecoverableException

java.lang.Object

java.lang.Throwable

java.lang.Exception

io.github.cvc5.CVC5ApiException

io.github.cvc5.CVC5ApiRecoverableException

All Implemented Interfaces:: Serializable

Direct Known Subclasses:: CVC5ApiOptionException

public class CVC5ApiRecoverableException extends CVC5ApiException

A recoverable API exception. If thrown, API objects can still be used.

See Also:

Constructor Summary

Constructors

Constructor

Description

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