/** * Returns the quotient of the given ParticularIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(ParticularIntegerValue other) { return divideOf((SpecificIntegerValue)other); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
/** * Returns the quotient of the given SpecificIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(SpecificIntegerValue other) { return divideOf((IntegerValue)other); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
/** * Returns the quotient of the given SpecificIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(SpecificIntegerValue other) { return divideOf((IntegerValue)other); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
/** * Returns the quotient of the given UnknownIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(UnknownIntegerValue other) { return divideOf((IntegerValue)other); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
/** * Returns the quotient of the given SpecificIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(SpecificIntegerValue other) { return divideOf((IntegerValue)other); }
/** * Returns the quotient of the given UnknownIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(UnknownIntegerValue other) { return divideOf((IntegerValue)other); }
/** * Returns the quotient of the given ParticularIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(ParticularIntegerValue other) { return divideOf((SpecificIntegerValue)other); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
/** * Returns the quotient of the given SpecificIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(SpecificIntegerValue other) { return divideOf((IntegerValue)other); }
public IntegerValue divide(IntegerValue other) throws ArithmeticException { return other.divideOf(this); }
/** * Returns the quotient of the given UnknownIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(UnknownIntegerValue other) { return divideOf((IntegerValue)other); }
/** * Returns the quotient of the given ParticularIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(ParticularIntegerValue other) { return divideOf((SpecificIntegerValue)other); }
/** * Returns the quotient of the given UnknownIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(UnknownIntegerValue other) { return divideOf((IntegerValue)other); }
/** * Returns the quotient of the given ParticularIntegerValue and this * IntegerValue. */ public IntegerValue divideOf(ParticularIntegerValue other) { return divideOf((SpecificIntegerValue)other); }