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

Constructor Index

 o ClauseNotGroundException()
 o ClauseNotGroundException(String)

Constructors

 o ClauseNotGroundException
 public ClauseNotGroundException()
 o ClauseNotGroundException
 public ClauseNotGroundException(String s)