Index of exceptions
E
Empty
[
Var.Cnstrnt
]
Empty
[
Dom
]
I
Incomplete
[
Exc
]
Inconsistent
[
Jst
]
Inconsistent
[
Exc
]
U
Unbounded
[
La
]
Indicates
unboundedness
of a term in a state.
V
Valid
[
Exc
]
Z
ZeroDivision
[
Mpa.Q
]