MAX-SUBSTS-PROJ-TOTAL : FLAG

MAX-SUBSTS-PROJ-TOTAL is a flag or parameter.
The total number of projection substitutions
allowed for any given dpairset. See also MAX-SUBSTS-VAR
and MAX-SUBSTS-PROJ.
This applies to higher-order unification (UN88 or UN90) only.
MAX-SUBSTS-PROJ-TOTAL takes values of type NULL-OR-INTEGER.
It belongs to subjects UNIFICATION .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage