choco.palm.cbj.search
Class JumpContradictionException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          choco.ContradictionException
              choco.palm.cbj.search.JumpContradictionException

All Implemented Interfaces:

java.io.Serializable

public class JumpContradictionException
extends ContradictionException

See Also:

Serialized Form

Field Summary

protected Explanation

cause

Constructor Summary

JumpContradictionException(AbstractProblem pb, Explanation exp)

Method Summary

Explanation

getExplanation()

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

Field Detail

cause

protected Explanation cause

Constructor Detail

JumpContradictionException

public JumpContradictionException(AbstractProblem pb,
                                  Explanation exp)

Method Detail

getExplanation

public Explanation getExplanation()