Cross Reference: /external/proguard/src/proguard/evaluation/value/ParticularDoubleValue.java

Lines Matching refs:other
75     public DoubleValue generalize(DoubleValue other)
77         return other.generalize(this);
80     public DoubleValue add(DoubleValue other)
83         //return value == 0.0 ? other : other.add(this);
84         return other.add(this);
87     public DoubleValue subtract(DoubleValue other)
90         //return value == 0.0 ? other.negate() : other.subtractFrom(this);
91         return other.subtractFrom(this);
94     public DoubleValue subtractFrom(DoubleValue other)
97         //return value == 0.0 ? other : other.subtract(this);
98         return other.subtract(this);
101     public DoubleValue multiply(DoubleValue other)
103         return other.multiply(this);
106     public DoubleValue divide(DoubleValue other)
108         return other.divideOf(this);
111     public DoubleValue divideOf(DoubleValue other)
113         return other.divide(this);
116     public DoubleValue remainder(DoubleValue other)
118         return other.remainderOf(this);
121     public DoubleValue remainderOf(DoubleValue other)
123         return other.remainder(this);
126     public IntegerValue compare(DoubleValue other)
128         return other.compareReverse(this);
135     public DoubleValue generalize(ParticularDoubleValue other)
139                Double.doubleToRawLongBits(other.value) ?
143     public DoubleValue add(ParticularDoubleValue other)
145         return new ParticularDoubleValue(this.value + other.value);
148     public DoubleValue subtract(ParticularDoubleValue other)
150         return new ParticularDoubleValue(this.value - other.value);
153     public DoubleValue subtractFrom(ParticularDoubleValue other)
155         return new ParticularDoubleValue(other.value - this.value);
158     public DoubleValue multiply(ParticularDoubleValue other)
160         return new ParticularDoubleValue(this.value * other.value);
163     public DoubleValue divide(ParticularDoubleValue other)
165         return new ParticularDoubleValue(this.value / other.value);
168     public DoubleValue divideOf(ParticularDoubleValue other)
170         return new ParticularDoubleValue(other.value / this.value);
173     public DoubleValue remainder(ParticularDoubleValue other)
175         return new ParticularDoubleValue(this.value % other.value);
178     public DoubleValue remainderOf(ParticularDoubleValue other)
180         return new ParticularDoubleValue(other.value % this.value);
183     public IntegerValue compare(ParticularDoubleValue other)
185         return this.value <  other.value ? SpecificValueFactory.INTEGER_VALUE_M1 :
186                this.value == other.value ? SpecificValueFactory.INTEGER_VALUE_0  :