Class ContradictionException

  • All Implemented Interfaces:
    Serializable

    public final class ContradictionException
    extends Exception
    A specific 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.

    Since:
    0.01
    Version:
    0.01, june 2010
    Author:
    Xavier Lorca, Charles Prud'homme
    See Also:
    Serialized Form
    • Constructor Detail

      • ContradictionException

        public ContradictionException()
    • Method Detail

      • set

        public ContradictionException set​(ICause c,
                                          Variable v,
                                          String s)
        Throws the unique ContradictionException filled with the specified parameters.
        Parameters:
        c - the constraint at the origin of the contradiction
        v - the variable concerned by the contradiction
        s - the message to print
        Returns:
        ContradictionException the filled exception