org.opt4j.satdecoding
Class ContradictionException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.opt4j.satdecoding.ContradictionException

All Implemented Interfaces:

java.io.Serializable

public class ContradictionException
extends java.lang.RuntimeException

Thrown if a contradiction is recognized.

See Also:

Serialized Form

Constructor Summary

ContradictionException()
Constructs a ContradictionException.

ContradictionException(java.lang.String message)
Constructs a ContradictionException with a message.

ContradictionException(java.lang.String message, java.lang.Throwable exception)
Constructs a ContradictionException.

ContradictionException(java.lang.Throwable exception)
Constructs a ContradictionException.

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()

Constructs a ContradictionException.

ContradictionException

public ContradictionException(java.lang.String message)

Constructs a ContradictionException with a message.

Parameters:

message - the error message

ContradictionException

public ContradictionException(java.lang.String message,
                              java.lang.Throwable exception)

Constructs a ContradictionException.

ContradictionException

public ContradictionException(java.lang.Throwable exception)

Constructs a ContradictionException.