UPDATE-PROVABILITY : LIBRARYCMD

UPDATE-PROVABILITY is a library command.
Update the PROVABILITY attribute of all the gwffs for which a
best mode is known.
 
The command format for UPDATE-PROVABILITY is:

<LIB>UPDATE-PROVABILITY

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage