org.opt4j.satdecoding
Class TimeoutException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.opt4j.satdecoding.TimeoutException

All Implemented Interfaces:

java.io.Serializable

public class TimeoutException
extends java.lang.Exception

Thrown if the solver can not solve the problem within a given time bound.

See Also:

Serialized Form

Constructor Summary

TimeoutException()
Constructs a 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

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

Constructor Detail

TimeoutException

public TimeoutException()

Constructs a TimeoutException.