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