PartitionsThe data type partition can be used to store a set of items and a partition of this set into blocks. Elements of a partition are of typepartition_item .
mainly for educational purposes. It can be used to explain efficient implementation
and application of the weighted union find problem.
Complete Example Partitions ... Strengths
Disadvantages
TipsIf you need a partition of objects use Parameterized Partition |
See also:Manual Entries: |