org.kahina.logic.sat.io.minisat

Class ResultNotRetrievableException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.kahina.logic.sat.io.minisat.ResultNotRetrievableException

All Implemented Interfaces:

java.io.Serializable

public class ResultNotRetrievableException
extends java.lang.Exception

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ResultNotRetrievableException(java.lang.String explanation)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ResultNotRetrievableException

public ResultNotRetrievableException(java.lang.String explanation)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable