public class TimeOutException extends OWLReasonerRuntimeException
Constructor and Description |
---|
TimeOutException() |
TimeOutException(java.lang.String message) |
TimeOutException(java.lang.String message,
java.lang.Throwable cause) |