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