RANK-EPROOF-FN : FLAGRANK-EPROOF-FN is a flag or parameter.
The name of a function which should take as its single
argument an incomplete expansion proof, and return a nonnegative
integer ranking the proof's likelihood of success, with 0 meaning no
success (so don't try), and, otherwise, the better the likelihood, the
lower the returned value.
The only currently defined value for this flag is NUM-VPATHS-RANKING.
RANK-EPROOF-FN takes values of type SYMBOL.
It belongs to subjects MS93-1 MS90-9 MS89 MATING-SEARCH .
Its default value is NUM-VPATHS-RANKING
Its current value is NUM-VPATHS-RANKING.
TPS documentation homepage