Package org.sosy_lab.java_smt.api

Class SolverException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.sosy_lab.java_smt.api.SolverException

All Implemented Interfaces:

Serializable

public class SolverException
extends Exception

Exception thrown if there is an error during SMT solving.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
SolverException(@Nullable String msg)
SolverException(@Nullable String msg, @Nullable Throwable t)

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 Detail

SolverException

public SolverException(@Nullable String msg)

SolverException

public SolverException(@Nullable String msg,
                       @Nullable Throwable t)