Lines Matching refs:other

67      * Returns the generalization of this FloatValue and the given other
70 public abstract FloatValue generalize(FloatValue other);
76 public abstract FloatValue add(FloatValue other);
81 public abstract FloatValue subtract(FloatValue other);
86 public abstract FloatValue subtractFrom(FloatValue other);
91 public abstract FloatValue multiply(FloatValue other);
96 public abstract FloatValue divide(FloatValue other);
101 public abstract FloatValue divideOf(FloatValue other);
106 public abstract FloatValue remainder(FloatValue other);
111 public abstract FloatValue remainderOf(FloatValue other);
117 public abstract IntegerValue compare(FloatValue other);
126 public final IntegerValue compareReverse(FloatValue other)
128 return compare(other).negate();
135 * Returns the generalization of this FloatValue and the given other
138 public FloatValue generalize(SpecificFloatValue other)
140 return generalize((FloatValue)other);
147 public FloatValue add(SpecificFloatValue other)
149 return add((FloatValue)other);
155 public FloatValue subtract(SpecificFloatValue other)
157 return subtract((FloatValue)other);
163 public FloatValue subtractFrom(SpecificFloatValue other)
165 return subtractFrom((FloatValue)other);
171 public FloatValue multiply(SpecificFloatValue other)
173 return multiply((FloatValue)other);
179 public FloatValue divide(SpecificFloatValue other)
181 return divide((FloatValue)other);
188 public FloatValue divideOf(SpecificFloatValue other)
190 return divideOf((FloatValue)other);
197 public FloatValue remainder(SpecificFloatValue other)
199 return remainder((FloatValue)other);
206 public FloatValue remainderOf(SpecificFloatValue other)
208 return remainderOf((FloatValue)other);
216 public IntegerValue compare(SpecificFloatValue other)
218 return compare((FloatValue)other);
229 public final IntegerValue compareReverse(SpecificFloatValue other)
231 return compare(other).negate();
238 * Returns the generalization of this FloatValue and the given other
241 public FloatValue generalize(ParticularFloatValue other)
243 return generalize((SpecificFloatValue)other);
250 public FloatValue add(ParticularFloatValue other)
252 return add((SpecificFloatValue)other);
258 public FloatValue subtract(ParticularFloatValue other)
260 return subtract((SpecificFloatValue)other);
266 public FloatValue subtractFrom(ParticularFloatValue other)
268 return subtractFrom((SpecificFloatValue)other);
274 public FloatValue multiply(ParticularFloatValue other)
276 return multiply((SpecificFloatValue)other);
282 public FloatValue divide(ParticularFloatValue other)
284 return divide((SpecificFloatValue)other);
291 public FloatValue divideOf(ParticularFloatValue other)
293 return divideOf((SpecificFloatValue)other);
300 public FloatValue remainder(ParticularFloatValue other)
302 return remainder((SpecificFloatValue)other);
309 public FloatValue remainderOf(ParticularFloatValue other)
311 return remainderOf((SpecificFloatValue)other);
319 public IntegerValue compare(ParticularFloatValue other)
321 return compare((SpecificFloatValue)other);
332 public final IntegerValue compareReverse(ParticularFloatValue other)
334 return compare(other).negate();
345 public final Value generalize(Value other)
347 return this.generalize(other.floatValue());