edu.cs.ai.kreator.logic.prolog
Class CycleFoundException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.cs.ai.kreator.exceptions.KreatorException
              edu.cs.ai.kreator.exceptions.QueryException
                  edu.cs.ai.kreator.logic.prolog.CycleFoundException

All Implemented Interfaces:

java.io.Serializable

public class CycleFoundException
extends QueryException

This class models a cycle exception for Prolog and BLPs, that can be thrown by the inference algorithm when a cycle is detected.

Author:

Matthias Thimm

See Also:

Serialized Form

Constructor Summary

CycleFoundException(Knowledgebase knowledgebase)
Constructs a new exception.

CycleFoundException(PrologProgram prolog)
Constructs a new exception.

CycleFoundException(java.lang.String message)

Method Summary

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

CycleFoundException

public CycleFoundException(Knowledgebase knowledgebase)

Constructs a new exception.

CycleFoundException

public CycleFoundException(PrologProgram prolog)

Constructs a new exception.

CycleFoundException

public CycleFoundException(java.lang.String message)