MAX-SUBSTS-VAR : FLAG

MAX-SUBSTS-VAR is a flag or parameter.
The maximum number of substitutions allowed for any given
free variable in a dpairset. This is cumulative (i.e. if an old
variable f is replaced by h1, which is in turn replaced by h2,
that counts as two substitutions for f). Only projections or
imitations are counted; eliminating substitutions are not.
See also MAX-SUBSTS-PROJ and MAX-SUBSTS-PROJ-TOTAL.
This applies to higher-order unification (UN88 or UN90) only.
MAX-SUBSTS-VAR takes values of type NULL-OR-INTEGER.
It belongs to subjects MS98-1 IMPORTANT UNIFICATION .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage