Class FloatX
- java.lang.Object
-
- java.lang.Number
-
- ru.ispras.microtesk.model.data.floatx.FloatX
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<FloatX>
public final class FloatX extends java.lang.Number implements java.lang.Comparable<FloatX>
FloatX
stores floating-point numbers of the specified precision.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description FloatX(ru.ispras.fortress.data.types.bitvector.BitVector data, int fractionSize, int exponentSize)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description FloatX
add(FloatX arg)
int
compareTo(FloatX other)
FloatX
div(FloatX arg)
double
doubleValue()
boolean
equals(java.lang.Object obj)
float
floatValue()
static FloatX
fromInteger(int fractionSize, int exponentSize, ru.ispras.fortress.data.types.bitvector.BitVector value)
static FloatX
fromInteger(Precision precision, ru.ispras.fortress.data.types.bitvector.BitVector value)
ru.ispras.fortress.data.types.bitvector.BitVector
getData()
static int
getExceptionFlags()
Precision
getPrecision()
static int
getRoundingMode()
int
getSize()
int
hashCode()
int
intValue()
boolean
isNan()
boolean
isSignalingNan()
long
longValue()
FloatX
mod(FloatX arg)
FloatX
mul(FloatX arg)
FloatX
neg()
FloatX
round()
static void
setExceptionFlags(int value)
static void
setRoundingMode(int value)
FloatX
sqrt()
FloatX
sub(FloatX arg)
FloatX
toFloat(int fractionSize, int exponentSize)
FloatX
toFloat(Precision newPrecision)
java.lang.String
toHexString()
ru.ispras.fortress.data.types.bitvector.BitVector
toInteger()
ru.ispras.fortress.data.types.bitvector.BitVector
toInteger(int newSize)
java.lang.String
toString()
-
-
-
Method Detail
-
getPrecision
public Precision getPrecision()
-
getData
public ru.ispras.fortress.data.types.bitvector.BitVector getData()
-
getSize
public int getSize()
-
compareTo
public int compareTo(FloatX other)
- Specified by:
compareTo
in interfacejava.lang.Comparable<FloatX>
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
floatValue
public float floatValue()
- Specified by:
floatValue
in classjava.lang.Number
-
doubleValue
public double doubleValue()
- Specified by:
doubleValue
in classjava.lang.Number
-
intValue
public int intValue()
- Specified by:
intValue
in classjava.lang.Number
-
longValue
public long longValue()
- Specified by:
longValue
in classjava.lang.Number
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
toHexString
public java.lang.String toHexString()
-
neg
public FloatX neg()
-
sqrt
public FloatX sqrt()
-
isNan
public boolean isNan()
-
isSignalingNan
public boolean isSignalingNan()
-
round
public FloatX round()
-
toFloat
public FloatX toFloat(int fractionSize, int exponentSize)
-
toInteger
public ru.ispras.fortress.data.types.bitvector.BitVector toInteger()
-
toInteger
public ru.ispras.fortress.data.types.bitvector.BitVector toInteger(int newSize)
-
fromInteger
public static FloatX fromInteger(Precision precision, ru.ispras.fortress.data.types.bitvector.BitVector value)
-
fromInteger
public static FloatX fromInteger(int fractionSize, int exponentSize, ru.ispras.fortress.data.types.bitvector.BitVector value)
-
getRoundingMode
public static int getRoundingMode()
-
setRoundingMode
public static void setRoundingMode(int value)
-
getExceptionFlags
public static int getExceptionFlags()
-
setExceptionFlags
public static void setExceptionFlags(int value)
-
-