Lines Matching defs:DoubleValue

30 public abstract class DoubleValue extends Category2Value
44 * Returns the negated value of this DoubleValue.
46 public abstract DoubleValue negate();
49 * Converts this DoubleValue to an IntegerValue.
54 * Converts this DoubleValue to a LongValue.
59 * Converts this DoubleValue to a FloatValue.
67 * Returns the generalization of this DoubleValue and the given other
68 * DoubleValue.
70 public abstract DoubleValue generalize(DoubleValue other);
74 * Returns the sum of this DoubleValue and the given DoubleValue.
76 public abstract DoubleValue add(DoubleValue other);
79 * Returns the difference of this DoubleValue and the given DoubleValue.
81 public abstract DoubleValue subtract(DoubleValue other);
84 * Returns the difference of the given DoubleValue and this DoubleValue.
86 public abstract DoubleValue subtractFrom(DoubleValue other);
89 * Returns the product of this DoubleValue and the given DoubleValue.
91 public abstract DoubleValue multiply(DoubleValue other);
94 * Returns the quotient of this DoubleValue and the given DoubleValue.
96 public abstract DoubleValue divide(DoubleValue other);
99 * Returns the quotient of the given DoubleValue and this DoubleValue.
101 public abstract DoubleValue divideOf(DoubleValue other);
104 * Returns the remainder of this DoubleValue divided by the given DoubleValue.
106 public abstract DoubleValue remainder(DoubleValue other);
109 * Returns the remainder of the given DoubleValue divided by this DoubleValue.
111 public abstract DoubleValue remainderOf(DoubleValue other);
114 * Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is
115 * less than, equal to, or greater than the given DoubleValue, respectively.
117 public abstract IntegerValue compare(DoubleValue other);
123 * Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is
124 * less than, equal to, or greater than the given DoubleValue, respectively.
126 public final IntegerValue compareReverse(DoubleValue other)
135 * Returns the generalization of this DoubleValue and the given other
138 public DoubleValue generalize(SpecificDoubleValue other)
140 return generalize((DoubleValue)other);
145 * Returns the sum of this DoubleValue and the given SpecificDoubleValue.
147 public DoubleValue add(SpecificDoubleValue other)
149 return add((DoubleValue)other);
153 * Returns the difference of this DoubleValue and the given SpecificDoubleValue.
155 public DoubleValue subtract(SpecificDoubleValue other)
157 return subtract((DoubleValue)other);
161 * Returns the difference of the given SpecificDoubleValue and this DoubleValue.
163 public DoubleValue subtractFrom(SpecificDoubleValue other)
165 return subtractFrom((DoubleValue)other);
169 * Returns the product of this DoubleValue and the given SpecificDoubleValue.
171 public DoubleValue multiply(SpecificDoubleValue other)
173 return multiply((DoubleValue)other);
177 * Returns the quotient of this DoubleValue and the given SpecificDoubleValue.
179 public DoubleValue divide(SpecificDoubleValue other)
181 return divide((DoubleValue)other);
186 * DoubleValue.
188 public DoubleValue divideOf(SpecificDoubleValue other)
190 return divideOf((DoubleValue)other);
194 * Returns the remainder of this DoubleValue divided by the given
197 public DoubleValue remainder(SpecificDoubleValue other)
199 return remainder((DoubleValue)other);
204 * DoubleValue.
206 public DoubleValue remainderOf(SpecificDoubleValue other)
208 return remainderOf((DoubleValue)other);
212 * Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is
218 return compare((DoubleValue)other);
225 * Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is
238 * Returns the generalization of this DoubleValue and the given other
241 public DoubleValue generalize(ParticularDoubleValue other)
248 * Returns the sum of this DoubleValue and the given ParticularDoubleValue.
250 public DoubleValue add(ParticularDoubleValue other)
256 * Returns the difference of this DoubleValue and the given ParticularDoubleValue.
258 public DoubleValue subtract(ParticularDoubleValue other)
264 * Returns the difference of the given ParticularDoubleValue and this DoubleValue.
266 public DoubleValue subtractFrom(ParticularDoubleValue other)
272 * Returns the product of this DoubleValue and the given ParticularDoubleValue.
274 public DoubleValue multiply(ParticularDoubleValue other)
280 * Returns the quotient of this DoubleValue and the given ParticularDoubleValue.
282 public DoubleValue divide(ParticularDoubleValue other)
289 * DoubleValue.
291 public DoubleValue divideOf(ParticularDoubleValue other)
297 * Returns the remainder of this DoubleValue divided by the given
300 public DoubleValue remainder(ParticularDoubleValue other)
307 * DoubleValue.
309 public DoubleValue remainderOf(ParticularDoubleValue other)
315 * Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is
328 * Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is
340 public final DoubleValue doubleValue()