org.semanticweb.owlapi.reasoner
Class TimeOutException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.semanticweb.owlapi.model.OWLRuntimeException
                  org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException
                      org.semanticweb.owlapi.reasoner.TimeOutException

All Implemented Interfaces:

java.io.Serializable

public class TimeOutException
extends OWLReasonerRuntimeException

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-Sep-2009 Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout.

See Also:

Serialized Form

Constructor Summary

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()