When T, the amount of time given by SEARCH-TIME-LIMIT and

MAX-SEARCH-LIMIT will be multiplied by the number of vertical paths

through the vpform and then divided by the number of paths through

the initial vpform (so the first vpform will get SEARCH-TIME-LIMIT

seconds, and if the next has twice as many paths it will get twice

as many seconds, and so on...).

When NIL, every option set will get the same search time.

This flag only applies in MS91 procedures.

MS91-TIME-BY-VPATHS takes values of type BOOLEAN.

It belongs to subjects MS91-7 MS91-6 .

Its default value is NIL

Its current value is NIL.

© 1988-99, Carnegie Mellon University.