The RegionPartition type.
A class to represent a partition.
The companion object for the Partition type.
The companion object for the Partition type. Contains
Make sure that both 'x' and 'y' are mapped and that they belong
to the same partition.
Make sure that 'x' is mapped.
Retrieve the partition containing 'x'.