B | |
BranchClosed [Ic] |
Raised if
False head has been derived (a hypertableau branch has been
closed.
|
C | |
Convert_error [Convert] |
Raised if the input term is not suited for application of a
conversion function.
|
E | |
Error [Err] |
An error caused by user input (and not the implementation), that is
not further specified.
|
M | |
Max_vars_exceeded [Term] |
Thrown if the maximum number of distinct variables in a clause is exceeded.
|