A | |
| Arena_definition_error [Arena] | |
B | |
| Board_parse_error [Structure] | |
C | |
| Closure_count_exceeded [OrderedPolySet] | |
| Contradicting_sign_ops [SignTable] |
Exception raised when contraditing ops are given to join_sign_ops.
|
D | |
| DECODE [Coding] |
Thrown when decoding fails.
|
E | |
| EXC_Decls_multi_lub [Term] | |
| Error [GDLParser] | |
| Error [ArenaParser] | |
| Error [ContinuousRuleParser] | |
| Error [DiscreteRuleParser] | |
| Error [ClassParser] | |
| Error [RealQuantElimParser] | |
| Error [StructureParser] | |
| Error [FormulaParser] | |
F | |
| FAILED_PARSE_OR_EXN [TRS] | |
N | |
| NONLEXICAL [SyntaxDef] | |
O | |
| OverBound [Sat] | |
Q | |
| Queue_is_empty [Aux.PRIOQUEUE] | |
S | |
| Structure_mismatch [Structure] |
Nonexisting elements or relations, signature mismatch, etc.
|
T | |
| TOPLEVEL_ERROR [Coding] | |
| Timeout [Aux] | |
U | |
| UNIFY [Term] |
Exception used in unification algorithm on failure.
|
| Unmatched_variables [OrderedPoly] |