org.sat4j.specs
Class ContradictionException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.sat4j.specs.ContradictionException
All Implemented Interfaces:
java.io.Serializable

public class ContradictionException
extends java.lang.Exception

That exception is launched whenever a trivial contradiction is found (e.g. null clause).

Author:
leberre
See Also:
Serialized Form

Constructor Summary
ContradictionException()
           
ContradictionException(java.lang.String message)
           
ContradictionException(java.lang.String message, java.lang.Throwable cause)
           
ContradictionException(java.lang.Throwable cause)
           
 
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

ContradictionException

public ContradictionException()

ContradictionException

public ContradictionException(java.lang.String message)
Parameters:
message - un message

ContradictionException

public ContradictionException(java.lang.Throwable cause)
Parameters:
cause - la cause de l'exception

ContradictionException

public ContradictionException(java.lang.String message,
                              java.lang.Throwable cause)
Parameters:
message - un message
cause - une cause


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.