E | |
| EmptyHeap [Heap] | |
| Error [Smt_sig.S] | |
| Error [Typing] | |
I | |
| Inconsistent [Exception] | |
| Interpreted_Symbol [Exception] | |
M | |
| Maybe_zero [Polynome] | |
N | |
| NotCongruent [Exception] | |
| NotConsistent [Intervals] | |
| Not_a_float [Intervals] | |
| Not_a_num [Polynome] | |
P | |
| Progress [Exception] | |
R | |
| ReachedLimit [Stats] | raised if the search exceeds the allocated limits |
S | |
| Sat [Enumsolver] | |
| Sat [Solver] | |
T | |
| Trivial [Exception] | |
U | |
| Unsafe [Safety] | exception to signal that a safety check failed. |
| Unsat [Enumsolver] | |
| Unsat [Solver] | |
| Unsat [Smt_sig.S] | The exception raised by |
| Unsolvable [Exception] |