public final class FloatX extends java.lang.Number implements java.lang.Comparable<FloatX>
FloatX
stores floating-point numbers of the specified precision.Constructor and Description |
---|
FloatX(ru.ispras.fortress.data.types.bitvector.BitVector data,
int fractionSize,
int exponentSize) |
Modifier and Type | Method and 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() |
public FloatX(ru.ispras.fortress.data.types.bitvector.BitVector data, int fractionSize, int exponentSize)
public ru.ispras.fortress.data.types.bitvector.BitVector getData()
public int getSize()
public Precision getPrecision()
public int compareTo(FloatX other)
compareTo
in interface java.lang.Comparable<FloatX>
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public float floatValue()
floatValue
in class java.lang.Number
public double doubleValue()
doubleValue
in class java.lang.Number
public int intValue()
intValue
in class java.lang.Number
public long longValue()
longValue
in class java.lang.Number
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toHexString()
public FloatX neg()
public FloatX sqrt()
public boolean isNan()
public boolean isSignalingNan()
public FloatX round()
public FloatX toFloat(int fractionSize, int exponentSize)
public ru.ispras.fortress.data.types.bitvector.BitVector toInteger()
public ru.ispras.fortress.data.types.bitvector.BitVector toInteger(int newSize)
public static FloatX fromInteger(Precision precision, ru.ispras.fortress.data.types.bitvector.BitVector value)
public static FloatX fromInteger(int fractionSize, int exponentSize, ru.ispras.fortress.data.types.bitvector.BitVector value)
public static int getRoundingMode()
public static void setRoundingMode(int value)
public static int getExceptionFlags()
public static void setExceptionFlags(int value)