org.sat4j.specs
Class ContradictionException
java.lang.Object
java.lang.Throwable
java.lang.Exception
org.sat4j.specs.ContradictionException
- All Implemented Interfaces:
- Serializable
public class ContradictionException
- extends Exception
That exception is launched whenever a trivial contradiction is found (e.g.
null clause).
- Author:
- leberre
- See Also:
- Serialized Form
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
ContradictionException
public ContradictionException()
ContradictionException
public ContradictionException(String message)
- Parameters:
message
- un message
ContradictionException
public ContradictionException(Throwable cause)
- Parameters:
cause
- la cause de l'exception
ContradictionException
public ContradictionException(String message,
Throwable cause)
- Parameters:
message
- un messagecause
- une cause
Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.