Serialized Form

Package io.github.cvc5

• Exception Class io.github.cvc5.CVC5ApiException

  class CVC5ApiException extends RuntimeException implements Serializable

• Exception Class io.github.cvc5.CVC5ApiOptionException

  class CVC5ApiOptionException extends CVC5ApiRecoverableException implements Serializable

• Exception Class io.github.cvc5.CVC5ApiRecoverableException

  class CVC5ApiRecoverableException extends CVC5ApiException implements Serializable

• Exception Class io.github.cvc5.CVC5ParserException

  class CVC5ParserException extends Exception implements Serializable