ubc.cs.JLog.Terms
Class UnknownPredicateException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by ubc.cs.JLog.Terms.UnknownPredicateException
All Implemented Interfaces:
java.io.Serializable

public class UnknownPredicateException
extends java.lang.RuntimeException

See Also:
Serialized Form

Field Summary
protected  iPredicate predicate
           
 
Constructor Summary
UnknownPredicateException(iPredicate p)
           
UnknownPredicateException(java.lang.String s, iPredicate p)
           
 
Method Summary
 iPredicate getPredicate()
           
 
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
 

Field Detail

predicate

protected iPredicate predicate
Constructor Detail

UnknownPredicateException

public UnknownPredicateException(iPredicate p)

UnknownPredicateException

public UnknownPredicateException(java.lang.String s,
                                 iPredicate p)
Method Detail

getPredicate

public iPredicate getPredicate()