org.jcheck.exceptions
Class ImplicationFalseError

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          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)