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

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

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, 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