Lines Matching refs:other

68      * Returns the generalization of this LongValue and the given other
71 public LongValue generalize(LongValue other)
73 return other.generalize(this);
79 public LongValue add(LongValue other)
81 return other.add(this);
87 public LongValue subtract(LongValue other)
89 return other.subtractFrom(this);
95 public LongValue subtractFrom(LongValue other)
97 return other.subtract(this);
103 public LongValue multiply(LongValue other)
106 return other.multiply(this);
112 public LongValue divide(LongValue other)
115 return other.divideOf(this);
121 public LongValue divideOf(LongValue other)
124 return other.divide(this);
131 public LongValue remainder(LongValue other)
134 return other.remainderOf(this);
141 public LongValue remainderOf(LongValue other)
144 return other.remainder(this);
150 public LongValue shiftLeft(IntegerValue other)
152 return other.shiftLeftOf(this);
158 public LongValue shiftRight(IntegerValue other)
160 return other.shiftRightOf(this);
167 public LongValue unsignedShiftRight(IntegerValue other)
169 return other.unsignedShiftRightOf(this);
176 public LongValue and(LongValue other)
178 return other.and(this);
185 public LongValue or(LongValue other)
187 return other.or(this);
194 public LongValue xor(LongValue other)
196 return other.xor(this);
203 public IntegerValue compare(LongValue other)
205 return other.compareReverse(this);
215 public final IntegerValue compareReverse(LongValue other)
217 return compare(other).negate();
224 * Returns the generalization of this LongValue and the given other
227 public LongValue generalize(SpecificLongValue other)
236 public LongValue add(SpecificLongValue other)
244 public LongValue subtract(SpecificLongValue other)
252 public LongValue subtractFrom(SpecificLongValue other)
260 public LongValue multiply(SpecificLongValue other)
269 public LongValue divide(SpecificLongValue other)
278 public LongValue divideOf(SpecificLongValue other)
287 public LongValue remainder(SpecificLongValue other)
296 public LongValue remainderOf(SpecificLongValue other)
304 public LongValue shiftLeft(SpecificLongValue other)
312 public LongValue shiftRight(SpecificLongValue other)
321 public LongValue unsignedShiftRight(SpecificLongValue other)
330 public LongValue and(SpecificLongValue other)
339 public LongValue or(SpecificLongValue other)
348 public LongValue xor(SpecificLongValue other)
358 public IntegerValue compare(SpecificLongValue other)
360 return new ComparisonValue(this, other);
371 public final IntegerValue compareReverse(SpecificLongValue other)
373 return compare(other).negate();
380 * Returns the generalization of this LongValue and the given other
383 public LongValue generalize(ParticularLongValue other)
385 return generalize((SpecificLongValue)other);
392 public LongValue add(ParticularLongValue other)
394 return add((SpecificLongValue)other);
400 public LongValue subtract(ParticularLongValue other)
402 return subtract((SpecificLongValue)other);
408 public LongValue subtractFrom(ParticularLongValue other)
410 return subtractFrom((SpecificLongValue)other);
416 public LongValue multiply(ParticularLongValue other)
418 return multiply((SpecificLongValue)other);
425 public LongValue divide(ParticularLongValue other)
427 return divide((SpecificLongValue)other);
434 public LongValue divideOf(ParticularLongValue other)
436 return divideOf((SpecificLongValue)other);
443 public LongValue remainder(ParticularLongValue other)
445 return remainder((SpecificLongValue)other);
452 public LongValue remainderOf(ParticularLongValue other)
454 return remainderOf((SpecificLongValue)other);
460 public LongValue shiftLeft(ParticularIntegerValue other)
462 return shiftLeft((SpecificIntegerValue)other);
468 public LongValue shiftRight(ParticularIntegerValue other)
470 return shiftRight((SpecificIntegerValue)other);
477 public LongValue unsignedShiftRight(ParticularIntegerValue other)
479 return unsignedShiftRight((SpecificIntegerValue)other);
486 public LongValue and(ParticularLongValue other)
488 return and((SpecificLongValue)other);
495 public LongValue or(ParticularLongValue other)
497 return or((SpecificLongValue)other);
504 public LongValue xor(ParticularLongValue other)
506 return xor((SpecificLongValue)other);
514 public IntegerValue compare(ParticularLongValue other)
516 return compare((SpecificLongValue)other);
527 public final IntegerValue compareReverse(ParticularLongValue other)
529 return compare(other).negate();
540 public final Value generalize(Value other)
542 return this.generalize(other.longValue());