Class ClauseNotGroundException
java.lang.Object
|
+----java.lang.Throwable
|
+----java.lang.Exception
|
+----ClauseNotGroundException
- public class ClauseNotGroundException
- extends Exception
Wird ausgelöst, wenn die Klausel nicht 'ground' ist.
- See Also:
- Clause
-
ClauseNotGroundException()
-
-
ClauseNotGroundException(String)
-
ClauseNotGroundException
public ClauseNotGroundException()
ClauseNotGroundException
public ClauseNotGroundException(String s)