APPLY-MATCH-MAX-SUBSTS : INFO

APPLY-MATCH-MAX-SUBSTS is a flag setting or other piece of information.
A setting for APPLY-MATCH.
In unification search, applies match to whichever flexible-rigid
pair is closest to exceeding the bound in MAX-SUBSTS-VAR.
If it finds one with a unique substitution, it uses that.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage