Index of exceptions


E
EmptyHeap [Heap]
Error [Smt]
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]
The exception raised by Smt.Solver.check and Smt.Solver.assume when the formula is unsatisfiable.
Unsolvable [Exception]