org.jcheck.exceptions
Class ImplicationFalseError

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Error
          extended by org.jcheck.exceptions.ImplicationFalseError
All Implemented Interfaces:
java.io.Serializable

public class ImplicationFalseError
extends java.lang.Error

See Also:
Serialized Form

Constructor Summary
ImplicationFalseError()
           
ImplicationFalseError(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

ImplicationFalseError

public ImplicationFalseError()

ImplicationFalseError

public ImplicationFalseError(java.lang.String message)