public static class GroundTermTools.NonGroundTermException extends RuntimeException
| Modifier | Constructor and Description |
|---|---|
protected |
NonGroundTermException(String message) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringprotected NonGroundTermException(String message)
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.