Lines Matching refs:res
57 FullDomain[] res = new FullDomain[size()+1];
59 res[entry.getSingleIndex()]= entry.getDomainAsList();
61 return res;
64 FullDomainMap res = new FullDomainMap();
66 res.put(entry.getXYIndex(), entry.getDomainAsList());
68 return res;
75 Tuple[] res = new Tuple[size()+1];
77 res[entry.getSingleIndex()]= entry.asTuple();
79 return res;
86 Pair[] res = new Pair[size()+1];
88 res[entry.getSingleIndex()] = new Pair(entry.getMinDomain(), entry.getMaxDomain());
90 return res;
97 int[] res = new int[size()+1];
99 res[entry.getSingleIndex()]= entry.getDomainAsList().get(0);
101 return res;