eval pset

In MP Prism, updates the membership of a variable pset.

SYNTAX

eval pset set_name

DESCRIPTION

The eval pset command is available only in MP Prism.

Use the eval pset command to update the membership of the variable pset set_name. You create a variable pset by issuing the define pset command and specifying a condition to be met. For example,

define pset foo stopped && {isactive(x) && (x>0)}

defines a pset foo that consists of all stopped processes in which x is active and is greater than zero. The membership of such a set can change as a program executes. To update its membership, issue the command

eval pset foo

If the evaluation fails (for example, because a process that was previously stopped is now running, and you didn't include the stopped && syntax in your pset definition), the membership of the pset remains what it was before you issued the eval pset command.