public final class ContradictionException extends Exception
Exception
to deal with contradiction.
A contradiction appears when at least one Variable
object is not coherent
regarding all or part of Constraint
network.
Empty domain, instantiation to an out-of-domain value, etc. throws contradiction.
For performance consideration, a ContradictionException
is created every time a contradiction
occurs. A unique object is build and set with specific case information.Constructor and Description |
---|
ContradictionException() |
Modifier and Type | Method and Description |
---|---|
Throwable |
fillInStackTrace() |
ContradictionException |
set(ICause c,
Variable v,
String s)
Throws the unique
ContradictionException filled with the specified parameters. |
String |
toString() |
addSuppressed, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
public ContradictionException set(ICause c, Variable v, String s)
ContradictionException
filled with the specified parameters.c
- the constraint at the origin of the contradictionv
- the variable concerned by the contradictions
- the message to printpublic Throwable fillInStackTrace()
fillInStackTrace
in class Throwable
Copyright © 2018. All rights reserved.