TEST-FASTER-IF-T : FLAG

TEST-FASTER-IF-T is a flag or parameter.
The list of flags that, if set to T, make
mating-search faster. Used by SCALE-DOWN. "Faster" in this
context means "if it succeeds at all, it does so more quickly".
Compare TEST-EASIER-IF-T; the list is somewhat debatable, which is
why you're allowed to change it.
TEST-FASTER-IF-T takes values of type TPSFLAGLIST.
It belongs to subjects TEST-TOP .
Its default value is (MIN-QUANTIFIER-SCOPE MS-SPLIT)
Its current value is (MIN-QUANTIFIER-SCOPE MS-SPLIT).

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage