choco
Class ContradictionException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          choco.ContradictionException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

JumpContradictionException, PalmContradiction

public class ContradictionException
extends java.lang.Exception

An exception thrown when a contradiction achieved.

See Also:

Serialized Form

Constructor Summary

ContradictionException(AbstractProblem p)
Contradiction without any identifiable cause

ContradictionException(Entity cause)
Constructs a new contradiction with the specified 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(AbstractProblem p)

Contradiction without any identifiable cause

ContradictionException

public ContradictionException(Entity cause)

Constructs a new contradiction with the specified cause.

Parameters:

cause - the the last object (variable, constraint) responsible for the failure of propagation