Finding Out the Current Pset

MP Prism provides many ways of finding out the current pset:

• As described in the previous section, the name of the current pset appears in the Current Set box at the top right of the Psets window.

• The name of the current pset appears in the status region in MP Prism's main window.

• Issuing the pset command without arguments displays the current set.

• The (prism) prompt on the command line and in commands-only MP Prism identifies the current pset. For example, Prism's response to the pset command in the previous section would look like this:

  (prism all) pset foo
  (prism foo)

In giving examples of MP Prism commands, the (prism) prompt is used only when necessary to show the effect of a command.

To list the processes in the current pset, issue the show pset command without arguments:

(prism foo) show pset
pset 'current' is defined as 'foo'.
The set contains the following processes: 1,2.

The Psets window also displays the processes in the current pset.