D | |
DontKnow [Cstr] |
Exception raised by the
check function of a reified constraint when it
is not known whether the constraint is satisfied or violated.
|
F | |
Fail [Stak] |
Raised during solving whenever a failure occurs.
|
L | |
Level_not_found [Stak] |
Raised by
cut .
|