edu.ucla.belief
Class KnowledgeBase.KBUnsatisfiableStateException

Object
  extended by Throwable
      extended by Exception
          extended by KnowledgeBase.KBUnsatisfiableStateException
All Implemented Interfaces:
Serializable
Enclosing class:
KnowledgeBase

public static class KnowledgeBase.KBUnsatisfiableStateException
extends Exception

This Exception is thrown when the KnowledgeBase becomes inconsistent, or unsatisfiable.

See Also:
Serialized Form

Constructor Summary
KnowledgeBase.KBUnsatisfiableStateException(String message)
           
 
Method Summary
 
Methods inherited from class Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

KnowledgeBase.KBUnsatisfiableStateException

public KnowledgeBase.KBUnsatisfiableStateException(String message)


Copyright 2010 UCLA Automated Reasoning Group