de.uka.ilkd.key.smt

Class SolverException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.uka.ilkd.key.smt.SolverException

All Implemented Interfaces:

java.io.Serializable

public class SolverException
extends java.lang.RuntimeException

Encapsulates all exceptions that have occurred while executing the solvers.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID
private java.util.Collection<SMTSolver>	solvers

Constructor Summary

Constructors

Constructor and Description
SolverException(java.util.Collection<SMTSolver> solvers)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<SMTSolver>	getSolvers()
void	printStackTrace()
java.lang.String	toString()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

solvers

private java.util.Collection<SMTSolver> solvers

Constructor Detail

SolverException

public SolverException(java.util.Collection<SMTSolver> solvers)

Method Detail

getSolvers

public java.util.Collection<SMTSolver> getSolvers()

printStackTrace

public void printStackTrace()

Overrides:

printStackTrace in class java.lang.Throwable

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable