Exception | Description |
---|---|
Fail |
Exceptions of this type are raised inside
Solver , when a constraint is found to be unsatisfiable,
to stop the solution of atomic constraints and start the backtracking procedure. |
Failure |
Exceptions of this type are raised when the solution of a constraint fails
(and there are no more open choice points), meaning that no solution can be found.
|
InitLObjectException |
The
InitLObjectException exception is thrown
when a logical object should be uninitialized but it is initialized. |
NotDefConstraintException |
Exception raised when the solver tries to solve a constraint whose kind is neither built-in nor user-defined.
|
NotInitLObjectException |
The
NotInitLObjectException class is used to throw an exception
when a variable that should be initialized is found to be uninitialized and the method can not
handle this condition. |
NotPFunException |
The
NotPFunException class is used to throw an exception
when the new LMap created is not a partial function. |
NotValidDomainException |
Exceptions of this type are raised when a not valid domain is found.
|
UnsupportedHeuristicException |
Exception raised by
LabelingOptions when an heuristic is not supported by the method that is asked to use it. |