Lines Matching defs:RegionSet
1134 final private RegionSet regionSet = new RegionSet();
1138 Set<String> tempRegions = regionSet.parseSet(barString);
1146 Set<String> inverse = regionSet.inverse();
1204 * <pre>regionSet := region ([-+] region)*</pre>
1207 private static class RegionSet {
