public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
/** * Returns the remainder of the given ParticularIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(ParticularIntegerValue other) { return remainderOf((SpecificIntegerValue)other); }
public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
/** * Returns the remainder of the given UnknownIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(UnknownIntegerValue other) { return remainderOf((IntegerValue)other); }
/** * Returns the remainder of the given SpecificIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(SpecificIntegerValue other) { return remainderOf((IntegerValue)other); }
/** * Returns the remainder of the given SpecificIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(SpecificIntegerValue other) { return remainderOf((IntegerValue)other); }
/** * Returns the remainder of the given UnknownIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(UnknownIntegerValue other) { return remainderOf((IntegerValue)other); }
/** * Returns the remainder of the given SpecificIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(SpecificIntegerValue other) { return remainderOf((IntegerValue)other); }
public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
/** * Returns the remainder of the given ParticularIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(ParticularIntegerValue other) { return remainderOf((SpecificIntegerValue)other); }
public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
/** * Returns the remainder of the given UnknownIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(UnknownIntegerValue other) { return remainderOf((IntegerValue)other); }
/** * Returns the remainder of the given SpecificIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(SpecificIntegerValue other) { return remainderOf((IntegerValue)other); }
public IntegerValue remainder(IntegerValue other) throws ArithmeticException { return other.remainderOf(this); }
/** * Returns the remainder of the given UnknownIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(UnknownIntegerValue other) { return remainderOf((IntegerValue)other); }
/** * Returns the remainder of the given ParticularIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(ParticularIntegerValue other) { return remainderOf((SpecificIntegerValue)other); }
/** * Returns the remainder of the given ParticularIntegerValue divided by this * IntegerValue. */ public IntegerValue remainderOf(ParticularIntegerValue other) { return remainderOf((SpecificIntegerValue)other); }