Package org.smtlib

Class SolverProcess.ProverException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.smtlib.SolverProcess.ProverException

All Implemented Interfaces:

Serializable

Enclosing class:

SolverProcess

public static class SolverProcess.ProverException
extends RuntimeException

Wraps an exception thrown because of a failure in the prover

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ProverException(String s)

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

ProverException

public ProverException(String s)