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