choco.kernel.solver
Class ContradictionException
java.lang.Object
java.lang.Throwable
java.lang.Exception
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
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.