next up previous
Next: Command predicates Up: Set Preferences Previous: What is the idea

Expressing sets

Sets are expressed in an extensional way by:

<set-name> : [<rule-name>,...,<rule-name>] .
Preferences on individual rules are expressed via the corresponding singleton sets.



Torsten Schaub 2000-12-05