Lines Matching refs:other

82      * Returns the generalization of this IntegerValue and the given other
85 public abstract IntegerValue generalize(IntegerValue other);
90 public abstract IntegerValue add(IntegerValue other);
95 public abstract IntegerValue subtract(IntegerValue other);
100 public abstract IntegerValue subtractFrom(IntegerValue other);
105 public abstract IntegerValue multiply(IntegerValue other)
111 public abstract IntegerValue divide(IntegerValue other)
117 public abstract IntegerValue divideOf(IntegerValue other)
124 public abstract IntegerValue remainder(IntegerValue other)
131 public abstract IntegerValue remainderOf(IntegerValue other)
137 public abstract IntegerValue shiftLeft(IntegerValue other);
142 public abstract IntegerValue shiftRight(IntegerValue other);
148 public abstract IntegerValue unsignedShiftRight(IntegerValue other);
153 public abstract IntegerValue shiftLeftOf(IntegerValue other);
158 public abstract IntegerValue shiftRightOf(IntegerValue other);
164 public abstract IntegerValue unsignedShiftRightOf(IntegerValue other);
169 public abstract LongValue shiftLeftOf(LongValue other);
174 public abstract LongValue shiftRightOf(LongValue other);
179 public abstract LongValue unsignedShiftRightOf(LongValue other);
185 public abstract IntegerValue and(IntegerValue other);
191 public abstract IntegerValue or(IntegerValue other);
197 public abstract IntegerValue xor(IntegerValue other);
203 public abstract int equal(IntegerValue other);
209 public abstract int lessThan(IntegerValue other);
216 public abstract int lessThanOrEqual(IntegerValue other);
225 public final int notEqual(IntegerValue other)
227 return -equal(other);
234 public final int greaterThan(IntegerValue other)
236 return -lessThanOrEqual(other);
243 public final int greaterThanOrEqual(IntegerValue other)
245 return -lessThan(other);
252 * Returns the generalization of this IntegerValue and the given other
255 public IntegerValue generalize(UnknownIntegerValue other)
257 return generalize((IntegerValue)other);
264 public IntegerValue add(UnknownIntegerValue other)
266 return add((IntegerValue)other);
272 public IntegerValue subtract(UnknownIntegerValue other)
274 return subtract((IntegerValue)other);
280 public IntegerValue subtractFrom(UnknownIntegerValue other)
282 return subtractFrom((IntegerValue)other);
288 public IntegerValue multiply(UnknownIntegerValue other)
290 return multiply((IntegerValue)other);
297 public IntegerValue divide(UnknownIntegerValue other)
299 return divide((IntegerValue)other);
306 public IntegerValue divideOf(UnknownIntegerValue other)
308 return divideOf((IntegerValue)other);
315 public IntegerValue remainder(UnknownIntegerValue other)
317 return remainder((IntegerValue)other);
324 public IntegerValue remainderOf(UnknownIntegerValue other)
326 return remainderOf((IntegerValue)other);
332 public IntegerValue shiftLeft(UnknownIntegerValue other)
334 return shiftLeft((IntegerValue)other);
340 public IntegerValue shiftRight(UnknownIntegerValue other)
342 return shiftRight((IntegerValue)other);
349 public IntegerValue unsignedShiftRight(UnknownIntegerValue other)
351 return unsignedShiftRight((IntegerValue)other);
357 public IntegerValue shiftLeftOf(UnknownIntegerValue other)
359 return shiftLeftOf((IntegerValue)other);
365 public IntegerValue shiftRightOf(UnknownIntegerValue other)
367 return shiftRightOf((IntegerValue)other);
374 public IntegerValue unsignedShiftRightOf(UnknownIntegerValue other)
376 return unsignedShiftRightOf((IntegerValue)other);
382 public LongValue shiftLeftOf(UnknownLongValue other)
384 return shiftLeftOf((LongValue)other);
390 public LongValue shiftRightOf(UnknownLongValue other)
392 return shiftRightOf((LongValue)other);
399 public LongValue unsignedShiftRightOf(UnknownLongValue other)
401 return unsignedShiftRightOf((LongValue)other);
408 public IntegerValue and(UnknownIntegerValue other)
410 return and((IntegerValue)other);
417 public IntegerValue or(UnknownIntegerValue other)
419 return or((IntegerValue)other);
426 public IntegerValue xor(UnknownIntegerValue other)
428 return xor((IntegerValue)other);
435 public int equal(UnknownIntegerValue other)
437 return equal((IntegerValue)other);
445 public int lessThan(UnknownIntegerValue other)
447 return lessThan((IntegerValue)other);
455 public int lessThanOrEqual(UnknownIntegerValue other)
457 return lessThanOrEqual((IntegerValue)other);
467 public final int notEqual(UnknownIntegerValue other)
469 return -equal(other);
477 public final int greaterThan(UnknownIntegerValue other)
479 return -lessThanOrEqual(other);
487 public final int greaterThanOrEqual(UnknownIntegerValue other)
489 return -lessThan(other);
496 * Returns the generalization of this IntegerValue and the given other
499 public IntegerValue generalize(SpecificIntegerValue other)
501 return generalize((IntegerValue)other);
508 public IntegerValue add(SpecificIntegerValue other)
510 return add((IntegerValue)other);
516 public IntegerValue subtract(SpecificIntegerValue other)
518 return subtract((IntegerValue)other);
524 public IntegerValue subtractFrom(SpecificIntegerValue other)
526 return subtractFrom((IntegerValue)other);
532 public IntegerValue multiply(SpecificIntegerValue other)
534 return multiply((IntegerValue)other);
541 public IntegerValue divide(SpecificIntegerValue other)
543 return divide((IntegerValue)other);
550 public IntegerValue divideOf(SpecificIntegerValue other)
552 return divideOf((IntegerValue)other);
559 public IntegerValue remainder(SpecificIntegerValue other)
561 return remainder((IntegerValue)other);
568 public IntegerValue remainderOf(SpecificIntegerValue other)
570 return remainderOf((IntegerValue)other);
576 public IntegerValue shiftLeft(SpecificIntegerValue other)
578 return shiftLeft((IntegerValue)other);
584 public IntegerValue shiftRight(SpecificIntegerValue other)
586 return shiftRight((IntegerValue)other);
593 public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
595 return unsignedShiftRight((IntegerValue)other);
601 public IntegerValue shiftLeftOf(SpecificIntegerValue other)
603 return shiftLeftOf((IntegerValue)other);
609 public IntegerValue shiftRightOf(SpecificIntegerValue other)
611 return shiftRightOf((IntegerValue)other);
618 public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
620 return unsignedShiftRightOf((IntegerValue)other);
626 public LongValue shiftLeftOf(SpecificLongValue other)
628 return shiftLeftOf((LongValue)other);
634 public LongValue shiftRightOf(SpecificLongValue other)
636 return shiftRightOf((LongValue)other);
643 public LongValue unsignedShiftRightOf(SpecificLongValue other)
645 return unsignedShiftRightOf((LongValue)other);
652 public IntegerValue and(SpecificIntegerValue other)
654 return and((IntegerValue)other);
661 public IntegerValue or(SpecificIntegerValue other)
663 return or((IntegerValue)other);
670 public IntegerValue xor(SpecificIntegerValue other)
672 return xor((IntegerValue)other);
679 public int equal(SpecificIntegerValue other)
681 return equal((IntegerValue)other);
689 public int lessThan(SpecificIntegerValue other)
691 return lessThan((IntegerValue)other);
699 public int lessThanOrEqual(SpecificIntegerValue other)
701 return lessThanOrEqual((IntegerValue)other);
711 public final int notEqual(SpecificIntegerValue other)
713 return -equal(other);
721 public final int greaterThan(SpecificIntegerValue other)
723 return -lessThanOrEqual(other);
731 public final int greaterThanOrEqual(SpecificIntegerValue other)
733 return -lessThan(other);
740 * Returns the generalization of this IntegerValue and the given other
743 public IntegerValue generalize(ParticularIntegerValue other)
745 return generalize((SpecificIntegerValue)other);
752 public IntegerValue add(ParticularIntegerValue other)
754 return add((SpecificIntegerValue)other);
760 public IntegerValue subtract(ParticularIntegerValue other)
762 return subtract((SpecificIntegerValue)other);
768 public IntegerValue subtractFrom(ParticularIntegerValue other)
770 return subtractFrom((SpecificIntegerValue)other);
776 public IntegerValue multiply(ParticularIntegerValue other)
778 return multiply((SpecificIntegerValue)other);
785 public IntegerValue divide(ParticularIntegerValue other)
787 return divide((SpecificIntegerValue)other);
794 public IntegerValue divideOf(ParticularIntegerValue other)
796 return divideOf((SpecificIntegerValue)other);
803 public IntegerValue remainder(ParticularIntegerValue other)
805 return remainder((SpecificIntegerValue)other);
812 public IntegerValue remainderOf(ParticularIntegerValue other)
814 return remainderOf((SpecificIntegerValue)other);
820 public IntegerValue shiftLeft(ParticularIntegerValue other)
822 return shiftLeft((SpecificIntegerValue)other);
828 public IntegerValue shiftRight(ParticularIntegerValue other)
830 return shiftRight((SpecificIntegerValue)other);
837 public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
839 return unsignedShiftRight((SpecificIntegerValue)other);
845 public IntegerValue shiftLeftOf(ParticularIntegerValue other)
847 return shiftLeftOf((SpecificIntegerValue)other);
853 public IntegerValue shiftRightOf(ParticularIntegerValue other)
855 return shiftRightOf((SpecificIntegerValue)other);
862 public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
864 return unsignedShiftRightOf((SpecificIntegerValue)other);
870 public LongValue shiftLeftOf(ParticularLongValue other)
872 return shiftLeftOf((SpecificLongValue)other);
878 public LongValue shiftRightOf(ParticularLongValue other)
880 return shiftRightOf((SpecificLongValue)other);
887 public LongValue unsignedShiftRightOf(ParticularLongValue other)
889 return unsignedShiftRightOf((SpecificLongValue)other);
896 public IntegerValue and(ParticularIntegerValue other)
898 return and((SpecificIntegerValue)other);
905 public IntegerValue or(ParticularIntegerValue other)
907 return or((SpecificIntegerValue)other);
914 public IntegerValue xor(ParticularIntegerValue other)
916 return xor((SpecificIntegerValue)other);
923 public int equal(ParticularIntegerValue other)
925 return equal((SpecificIntegerValue)other);
933 public int lessThan(ParticularIntegerValue other)
935 return lessThan((SpecificIntegerValue)other);
943 public int lessThanOrEqual(ParticularIntegerValue other)
945 return lessThanOrEqual((SpecificIntegerValue)other);
955 public final int notEqual(ParticularIntegerValue other)
957 return -equal(other);
965 public final int greaterThan(ParticularIntegerValue other)
967 return -lessThanOrEqual(other);
975 public final int greaterThanOrEqual(ParticularIntegerValue other)
977 return -lessThan(other);
988 public final Value generalize(Value other)
990 return this.generalize(other.integerValue());