MS89 : CONTEXT

MS89 is a context.
Concerning mating search procedure MS89.

TPS documentation homepage


MS89 : MATEOP

MS89 is a mating-search command.
Begin mating search MS89 on the current expansion proof.
Primitive substitutions and duplications are performed systematically,
with multiple jforms being worked on simultaneously. On each
particular jform, the search procedure MS88 is used. The flags
MAX-SEARCH-LIMIT, SEARCH-TIME-LIMIT, and RANK-EPROOF-FN are used to
control the search. See also the command SHOW-OPTION-TREE.
 
The command format for MS89 is:

<Mate>MS89

TPS documentation homepage


MS89 : MODULE

MS89 is a module.

It is loaded.
Files which define option trees and their use in searching
for an expansion proof.

NEEDED-MODULES MS88

MACRO-FILES OPTION-TREE-MACROS

FILES OPTION-TREE OPTION-TREE-AUX OPTION-TREE-MATEOPS OPTION-TREE-SEARCH

TPS documentation homepage


MS89 : REVIEW-SUBJECT

MS89 is a subject.
Flags relevant to the MS89 mating-search procedure.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage