Lines Matching refs:other

102     public IntegerValue generalize(IntegerValue other)
104 return other.generalize(this);
107 public IntegerValue add(IntegerValue other)
109 return other.add(this);
112 public IntegerValue subtract(IntegerValue other)
114 return other.subtractFrom(this);
117 public IntegerValue subtractFrom(IntegerValue other)
119 return other.subtract(this);
122 public IntegerValue multiply(IntegerValue other)
124 return other.multiply(this);
127 public IntegerValue divide(IntegerValue other)
130 return other.divideOf(this);
133 public IntegerValue divideOf(IntegerValue other)
136 return other.divide(this);
139 public IntegerValue remainder(IntegerValue other)
142 return other.remainderOf(this);
145 public IntegerValue remainderOf(IntegerValue other)
148 return other.remainder(this);
151 public IntegerValue shiftLeft(IntegerValue other)
153 return other.shiftLeftOf(this);
156 public IntegerValue shiftLeftOf(IntegerValue other)
158 return other.shiftLeft(this);
161 public IntegerValue shiftRight(IntegerValue other)
163 return other.shiftRightOf(this);
166 public IntegerValue shiftRightOf(IntegerValue other)
168 return other.shiftRight(this);
171 public IntegerValue unsignedShiftRight(IntegerValue other)
173 return other.unsignedShiftRightOf(this);
176 public IntegerValue unsignedShiftRightOf(IntegerValue other)
178 return other.unsignedShiftRight(this);
181 public LongValue shiftLeftOf(LongValue other)
183 return other.shiftLeft(this);
186 public LongValue shiftRightOf(LongValue other)
188 return other.shiftRight(this);
191 public LongValue unsignedShiftRightOf(LongValue other)
193 return other.unsignedShiftRight(this);
196 public IntegerValue and(IntegerValue other)
198 return other.and(this);
201 public IntegerValue or(IntegerValue other)
203 return other.or(this);
206 public IntegerValue xor(IntegerValue other)
208 return other.xor(this);
211 public int equal(IntegerValue other)
213 return other.equal(this);
216 public int lessThan(IntegerValue other)
218 return other.greaterThan(this);
221 public int lessThanOrEqual(IntegerValue other)
223 return other.greaterThanOrEqual(this);
230 public IntegerValue generalize(ParticularIntegerValue other)
232 return generalize((SpecificIntegerValue)other);
235 public IntegerValue add(ParticularIntegerValue other)
237 return new ParticularIntegerValue(this.value + other.value);
240 public IntegerValue subtract(ParticularIntegerValue other)
242 return new ParticularIntegerValue(this.value - other.value);
245 public IntegerValue subtractFrom(ParticularIntegerValue other)
247 return new ParticularIntegerValue(other.value - this.value);
250 public IntegerValue multiply(ParticularIntegerValue other)
252 return new ParticularIntegerValue(this.value * other.value);
255 public IntegerValue divide(ParticularIntegerValue other)
258 return new ParticularIntegerValue(this.value / other.value);
261 public IntegerValue divideOf(ParticularIntegerValue other)
264 return new ParticularIntegerValue(other.value / this.value);
267 public IntegerValue remainder(ParticularIntegerValue other)
270 return new ParticularIntegerValue(this.value % other.value);
273 public IntegerValue remainderOf(ParticularIntegerValue other)
276 return new ParticularIntegerValue(other.value % this.value);
279 public IntegerValue shiftLeft(ParticularIntegerValue other)
281 return new ParticularIntegerValue(this.value << other.value);
284 public IntegerValue shiftRight(ParticularIntegerValue other)
286 return new ParticularIntegerValue(this.value >> other.value);
289 public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
291 return new ParticularIntegerValue(this.value >>> other.value);
294 public IntegerValue shiftLeftOf(ParticularIntegerValue other)
296 return new ParticularIntegerValue(other.value << this.value);
299 public IntegerValue shiftRightOf(ParticularIntegerValue other)
301 return new ParticularIntegerValue(other.value >> this.value);
304 public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
306 return new ParticularIntegerValue(other.value >>> this.value);
309 public LongValue shiftLeftOf(ParticularLongValue other)
311 return new ParticularLongValue(other.value() << this.value);
314 public LongValue shiftRightOf(ParticularLongValue other)
316 return new ParticularLongValue(other.value() >> this.value);
319 public LongValue unsignedShiftRightOf(ParticularLongValue other)
321 return new ParticularLongValue(other.value() >>> this.value);
324 public IntegerValue and(ParticularIntegerValue other)
326 return new ParticularIntegerValue(this.value & other.value);
329 public IntegerValue or(ParticularIntegerValue other)
331 return new ParticularIntegerValue(this.value | other.value);
334 public IntegerValue xor(ParticularIntegerValue other)
336 return new ParticularIntegerValue(this.value ^ other.value);
339 public int equal(ParticularIntegerValue other)
341 return this.value == other.value ? ALWAYS : NEVER;
344 public int lessThan(ParticularIntegerValue other)
346 return this.value < other.value ? ALWAYS : NEVER;
349 public int lessThanOrEqual(ParticularIntegerValue other)
351 return this.value <= other.value ? ALWAYS : NEVER;