24  * This FloatValue represents a particular float value.
42     // Implementations for FloatValue.
50     // Implementations of unary methods of FloatValue.
52     public FloatValue negate()
73     // Implementations of binary methods of FloatValue.
75     public FloatValue generalize(FloatValue other)
80     public FloatValue add(FloatValue other)
85     public FloatValue subtract(FloatValue other)
90     public FloatValue subtractFrom(FloatValue other)
95     public FloatValue multiply(FloatValue other)
100     public FloatValue divide(FloatValue other)
105     public FloatValue divideOf(FloatValue other)
110     public FloatValue remainder(FloatValue other)
115     public FloatValue remainderOf(FloatValue other)
120     public IntegerValue compare(FloatValue other)
126     // Implementations of binary FloatValue methods with ParticularFloatValue
129     public FloatValue generalize(ParticularFloatValue other)
134     public FloatValue add(ParticularFloatValue other)
139     public FloatValue subtract(ParticularFloatValue other)
144     public FloatValue subtractFrom(ParticularFloatValue other)
149     public FloatValue multiply(ParticularFloatValue other)
154     public FloatValue divide(ParticularFloatValue other)
159     public FloatValue divideOf(ParticularFloatValue other)
164     public FloatValue remainder(ParticularFloatValue other)
169     public FloatValue remainderOf(ParticularFloatValue other)

Indexes created Sat Jan 04 08:25:12 CET 2014