D | |
| DRAW [Dalton_sig] |
Graphical representation of schemes is controlled by a module of signature
DRAW giving an implementation of drawing primitives.
|
E | |
| ERROR_REPORT [Dalton_sig] |
The implementation of the signature
ERROR_REPORT given to the library
allows customizing error messages printed when unification, resolution or
comparison fail.
|
G | |
| GROUND [Dalton_sig] |
The ground term algebra is specified by an implementation of the
signature
GROUND.
|
P | |
| PRINT [Dalton_sig] |
Printing of constraints may be parametrized by an implementation
of the signature
PRINT.
|
S | |
| SCHEME_ROOT [Dalton.Make] |
A (type) scheme is made of a constraint set and a series of entry
nodes, its roots.
|