Searched refs:rawPartition (Results 1 – 3 of 3) sorted by relevance
729 final Collection<String> rawPartition = e.getValue(); in build() local733 … char partitionChar = (char) ('0' + makeUniqueIndex(partitionVariables, rawPartition)); in build()744 for (String variable : rawPartition) { in build()
726 final Collection<String> rawPartition = e.getValue(); in build() local730 … char partitionChar = (char) ('0' + makeUniqueIndex(partitionVariables, rawPartition)); in build()741 for (String variable : rawPartition) { in build()
1095 final Collection<String> rawPartition = e.getValue(); in build() local1096 String partition = String.valueOf((char) ('α' + id.add(rawPartition))); in build()1101 for (String variable : rawPartition) { in build()