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.
|