DLV
Class NoSuchLiteralException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              DLV.DLVExceptionUncheked
                  DLV.NoSuchLiteralException

All Implemented Interfaces:

java.io.Serializable

public class NoSuchLiteralException

extends DLVExceptionUncheked

This exception is thrown if you try to get, from a predicate, a literal which doesn't exist. For example if a predicate p has size 2 and you try to get the third literal from p.

Version:

1.0

Author:

Francesco Ricca

See Also:

Serialized Form

Constructor Summary

NoSuchLiteralException()

NoSuchLiteralException(java.lang.String message)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NoSuchLiteralException

public NoSuchLiteralException()

NoSuchLiteralException

public NoSuchLiteralException(java.lang.String message)