org.sosy_lab.solver

Class SolverException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.sosy_lab.solver.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 and Description
SolverException(String msg)
SolverException(String msg, 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)