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