org.grinvin.invariants.values
Class RealValue
- InvariantValue
Invariant type which allows real values, including positive and negative infinity
and undefined values. Identified by the string real
.
RealValue(double value, InvariantComputer computer) - Create an object of this type with the given value which
is computed by the given computer.
|
RealValue
public RealValue(double value,
InvariantComputer computer)
Create an object of this type with the given value which
is computed by the given computer.
negativeInfinity
public static RealValue negativeInfinity(InvariantComputer computer)
Return an object of this type representing negative infinity.
computer
- Invariant computer which calculated this value.
positiveInfinity
public static RealValue positiveInfinity(InvariantComputer computer)
Return an object of this type representing positive infinity.
computer
- Invariant computer which calculated this value.
toText
public static String toText(double value)
Converts a real number to a value with internationalized
names for 'undefined' and 'infinity'.
undefinedValue
public static RealValue undefinedValue(InvariantComputer computer)
Return an object of this type representing an undefined value.
computer
- Invariant computer which calculated this value.