OCCURS-CHECK : FLAG

OCCURS-CHECK is a flag or parameter.
This flag is not effective unless FIRST-ORDER-MODE-MS is T. If its
value is T, occurs check in first-order unification is postponed till a
mating is complete.
OCCURS-CHECK takes values of type BOOLEAN.
It belongs to subjects MS91-6 MS89 MS88 MATING-SEARCH .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage