PartitionMap and PartitionMapLattice.