choco.kernel.solver
Class ContradictionException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by choco.kernel.solver.ContradictionException
All Implemented Interfaces:
Serializable

public final class ContradictionException
extends Exception

An exception thrown when a contradiction achieved.

See Also:
Serialized Form

Method Summary
static ContradictionException build()
          Builder of contradiction.
 Throwable fillInStackTrace()
           
 Object getContradictionCause()
           
 int getContradictionMove()
           
 SConstraint getDomOverDegContradictionCause()
           
 boolean isSearchLimitCause()
           
 void set(Object cause)
           
 void set(Object cause, int move)
           
 String toString()
           
 
Methods inherited from class java.lang.Throwable
getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

build

public static ContradictionException build()
Builder of contradiction. BEWARE: user should understand the way a contradiction is used in CHOCO. There is only one contradiction per propagation engine (and per solver). If another objects are created, it could lead to a loss of performance!

Returns:
a new ContradictionException

set

public final void set(Object cause)

set

public final void set(Object cause,
                      int move)

toString

public String toString()
Overrides:
toString in class Throwable

getContradictionCause

public final Object getContradictionCause()

getDomOverDegContradictionCause

public final SConstraint getDomOverDegContradictionCause()

getContradictionMove

public final int getContradictionMove()

isSearchLimitCause

public final boolean isSearchLimitCause()

fillInStackTrace

public Throwable fillInStackTrace()
Overrides:
fillInStackTrace in class Throwable


Copyright © 2012. All Rights Reserved.