Parameterized PartitionsThe data type Partition can be used to store a set of objects of an arbitrary type T and a decomposition of this set into disjoint subsets called blocks. Elements of a partition are of typepartition_item .
Complete Example for Parameterized Partition ... Strengths
Disadvantages
TipsUse Partition whenever it is appropriate. |
See also:Manual Entries: Manual Page Parameterized Partition
|