Lines Matching refs:other

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