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:

Serializable

public class SolverException
extends 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 Collection<SMTSolver>	solvers

Constructor Summary

Constructors

Constructor and Description
SolverException(Collection<SMTSolver> solvers)

Method Summary

Modifier and Type	Method and Description
Collection<SMTSolver>	getSolvers()
void	printStackTrace()
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 Collection<SMTSolver> solvers

Constructor Detail

SolverException

public SolverException(Collection<SMTSolver> solvers)

Method Detail

getSolvers

public Collection<SMTSolver> getSolvers()

printStackTrace

public void printStackTrace()

Overrides:

printStackTrace in class Throwable

toString

public String toString()

Overrides:

toString in class Throwable