SKOLEM-SELECTION-NAME : FLAG

SKOLEM-SELECTION-NAME is a flag or parameter.
Prefix for labels associated with selection nodes (in a
skolem etree).
SKOLEM-SELECTION-NAME takes values of type SYMBOL.
It belongs to subjects ETREES .
Its default value is SKOL
Its current value is SKOL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage