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