ubc.cs.JLog.Terms
Class UnimplementedPredicateProveMethodException

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

public class UnimplementedPredicateProveMethodException
extends java.lang.RuntimeException

See Also:
Serialized Form

Constructor Summary
UnimplementedPredicateProveMethodException()
           
UnimplementedPredicateProveMethodException(java.lang.String s)
           
 
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

UnimplementedPredicateProveMethodException

public UnimplementedPredicateProveMethodException()

UnimplementedPredicateProveMethodException

public UnimplementedPredicateProveMethodException(java.lang.String s)