next up previous contents index
Next: Unique Input Statements Up: Refinement Control Program (Shift) Previous: Refinement Control Program (Shift)

Options

Shift recognizes two options. They can be set with the OPTION statement described in the ``Standard TNT Data Statements'' section on page gif. As an example, the activation of the VERBOSE option would require the statement

OPTION SET VERBOSE



Dale Edwin Tronrud
Thu Jul 6 23:24:57 PDT 2000