org.sat4j.specs

Class TimeoutException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.sat4j.specs.TimeoutException

All Implemented Interfaces:

java.io.Serializable

public class TimeoutException
extends java.lang.Exception

Exception launched when the solver cannot solve a problem within its allowed time. Note that the name of that exception is subject to change since a TimeoutException must also be launched by incomplete solvers to reply "Unknown".

Author:

leberre

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TimeoutException() Constructor for TimeoutException.
TimeoutException(java.lang.String message) Constructor for TimeoutException.
TimeoutException(java.lang.String message, java.lang.Throwable cause) Constructor for TimeoutException.
TimeoutException(java.lang.Throwable cause) Constructor for TimeoutException.

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

TimeoutException

public TimeoutException()

Constructor for TimeoutException.

TimeoutException

public TimeoutException(java.lang.String message)

Constructor for TimeoutException.

Parameters:

message - the error message

TimeoutException

public TimeoutException(java.lang.String message,
                        java.lang.Throwable cause)

Constructor for TimeoutException.

Parameters:

message - the error message

cause - the cause of the exception

TimeoutException

public TimeoutException(java.lang.Throwable cause)

Constructor for TimeoutException.

Parameters:

cause - the cause of the exception