Package 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:
Serializable
Thrown when the current reasoner operation has been interrupted due to a
satisfiability check timeout.
- Since:
- 3.0.0
- Author:
- Matthew Horridge, The University of Manchester, Information Management Group
- See Also:
-
Constructor Summary
ConstructorsConstructorDescriptionDefault constructor.TimeOutException
(String message) TimeOutException
(String message, Throwable cause) -
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
TimeOutException
public TimeOutException()Default constructor. -
TimeOutException
- Parameters:
message
- error message
-
TimeOutException
- Parameters:
message
- error messagecause
- error cause
-