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.
|