edu.ucla.belief
Class KnowledgeBase.KBUnsatisfiableStateException
Object
Throwable
Exception
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
Methods inherited from class Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
KnowledgeBase.KBUnsatisfiableStateException
public KnowledgeBase.KBUnsatisfiableStateException(String message)
Copyright 2010 UCLA Automated Reasoning Group