Lines Matching refs:remainder
121 * Returns the remainder of this IntegerValue divided by the given
124 public abstract IntegerValue remainder(IntegerValue other)
128 * Returns the remainder of the given IntegerValue divided by this
312 * Returns the remainder of this IntegerValue divided by the given
315 public IntegerValue remainder(UnknownIntegerValue other)
317 return remainder((IntegerValue)other);
321 * Returns the remainder of the given UnknownIntegerValue divided by this
556 * Returns the remainder of this IntegerValue divided by the given
559 public IntegerValue remainder(SpecificIntegerValue other)
561 return remainder((IntegerValue)other);
565 * Returns the remainder of the given SpecificIntegerValue divided by this
800 * Returns the remainder of this IntegerValue divided by the given
803 public IntegerValue remainder(ParticularIntegerValue other)
805 return remainder((SpecificIntegerValue)other);
809 * Returns the remainder of the given ParticularIntegerValue divided by this
