How to upgrade to a partition

[Intoduction] [Back] [Next]

You will now turn the disjoint decompositon that you just created into a partition.

Select the disjoint decomposition under Weapon-of-Mass-Destruction by clicking on the green bar.

You can use a single command to upgrade the disjoint decomposition to a partition. Select "Upgrade decomposition to partition" from the "Decomposition" menu.

Notice that the green bar next to the classes has become a red bar. A red bar signifies that the subclasses of a class form a partition.

For future reference, a blue bar next to the subclasses of a class signifies that the subclasses form an exhaustive decomposition of the class.

In the next section, you will learn how to use Chimaera to merge slots.

[Intoduction] [Back] [Next]