public class FreshEntitiesException extends OWLReasonerRuntimeException
FreshEntityPolicy
and OWLReasonerConfiguration
.Constructor and Description |
---|
FreshEntitiesException(OWLEntity entity) |
FreshEntitiesException(java.util.Set<OWLEntity> entities) |
Modifier and Type | Method and Description |
---|---|
java.util.List<OWLEntity> |
getEntities()
Gets the entities
|
java.lang.String |
getMessage()
Returns the detail message string of this throwable.
|
public FreshEntitiesException(java.util.Set<OWLEntity> entities)
public FreshEntitiesException(OWLEntity entity)
public java.util.List<OWLEntity> getEntities()
public java.lang.String getMessage()
getMessage
in class java.lang.Throwable