CVC5ApiException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

io.github.cvc5.CVC5ApiException

All Implemented Interfaces:: Serializable

Direct Known Subclasses:: CVC5ApiRecoverableException

public class CVC5ApiException extends RuntimeException

Base class for all API exceptions. If thrown, all API objects may be in an unsafe state.

See Also:

Constructor Summary

Constructors

Constructor

Description

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