Lines Matching defs:partition
1061 * Used for executing the rules. We map a region to a partition before processing.
1118 buffer.append("Partition ? Variables ? Regions (final)");
1161 final IdMakerFull<Collection<String>> id = new IdMakerFull<Collection<String>>("partition");
1169 String partition = String.valueOf((char)('?' + id.add(rawPartition)));
1171 regionToPartition.put(region, partition);
1172 partitionToRegions.put(partition, region);
1175 variableToPartitions.put(variable, partition);
1184 String partition = e2.getKey();
1186 macroToPartitions.put(macro, partition);