next up previous contents index
Next: Dictionaries ( dictionary ) Up: Version 7.2 The LEDA Previous: Parameterized Partitions ( Partition   Contents   Index


Dictionary Types


Subsections