Description

A PointsToSet is a set of labels (locations or allocations).