choco.palm.dbt.search
Class PalmContradiction

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          choco.ContradictionException
              choco.palm.dbt.search.PalmContradiction

All Implemented Interfaces:

java.io.Serializable

public class PalmContradiction
extends ContradictionException

See Also:

Serialized Form

Constructor Summary

PalmContradiction(Entity cause)

Method Summary

void	resetQueue(PropagationEngine pe) when a contradiction is thrown, the propagation queue is flushed.

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

PalmContradiction

public PalmContradiction(Entity cause)

Method Detail

resetQueue

public void resetQueue(PropagationEngine pe)

when a contradiction is thrown, the propagation queue is flushed.

Parameters:

pe -