CHANGE-KEYWORDS : LIBRARYCMD

CHANGE-KEYWORDS is a library command.
Change the keywords attribute of a stored library object.
NOTE: not all keywords can be changed. TPS may modify your list of
keywords -- for example, if you specify FIRST-ORDER for a problem
that is higher-order, TPS will change it.
 
The command format for CHANGE-KEYWORDS is:

<LIB>CHANGE-KEYWORDS NAME
"SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage