Index of exceptions


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.