FloatingPoint64Value class

A representation of a double-precision floating-point value.

Inheritance

Constructors

FloatingPoint64Value({required LogicValue sign, required LogicValue exponent, required LogicValue mantissa})
Constructor for a double precision floating point value
factory
FloatingPoint64Value.uninitialized()
Creates an unpopulated version, intended to be called with the populator.

Properties

bias → int
Return the bias of this FloatingPointValue.
no setterinherited
exponent ↔ LogicValue
The exponent of the floating point: this is biased about a midpoint for positive and negative exponents.
latefinalinherited
exponentWidth → int
The exponent width
final
hashCode → int
The hash code for this object.
no setterinherited
isAnInfinity → bool
Return true if the represented floating point number is considered infinity or negative infinity
no setterinherited
isAZero → bool
Return true if the represented floating point number is zero. Note that the equality operator will treat FloatingPointConstants.positiveZero and FloatingPointConstants.negativeZero as equal.
no setterinherited
isExponentAllOnes → bool
Test if exponent is all '1's.
no setterinherited
isExponentAllZeros → bool
Test if exponent is all '0's.
no setterinherited
isMantissaAllZeroes → bool
Test if mantissa is all '0's.
no setterinherited
isNaN → bool
Return true if the represented floating point number is considered NaN or "Not a Number".
no setterinherited
mantissa ↔ LogicValue
The mantissa of the floating point.
latefinalinherited
mantissaWidth → int
The mantissa width
final
maxExponent → int
Return the maximum exponent of this FloatingPointValue.
no setterinherited
minExponent → int
Return the minimum exponent of this FloatingPointValue.
no setterinherited
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
sign ↔ LogicValue
The sign of the value: 1 means a negative value.
latefinalinherited
supportsInfinities → bool
Indicates whether FloatingPointConstants.positiveInfinity and FloatingPointConstants.negativeInfinity representations are supported.
no setterinherited
value → LogicValue
The full floating point value concatenated as a LogicValue.
latefinalinherited

Methods

abs() → FloatingPointValue
Absolute value operation for FloatingPointValue.
inherited
clonePopulator() → FloatingPointValuePopulator<FloatingPointValue>
Creates a FloatingPointValuePopulator for the same type as this and with the same widths.
override
compareTo(Object other) → int
Floating point comparison to implement Comparable<>
inherited
getConstantComponents(FloatingPointConstants constantFloatingPoint) → ({LogicValue exponent, LogicValue mantissa, LogicValue sign})
Return the set of LogicValues for a given FloatingPointConstants at a given exponentWidth and mantissaWidth.
inherited
isNormal() → bool
Return a Logic true if this FloatingPointVa;ie contains a normal number, defined as having mantissa in the range [1,2).
inherited
isSubnormal() → bool
Return true if the represented floating point number is considered "subnormal", including isAZero.
inherited
negate() → FloatingPointValue
Negate operation for FloatingPointValue.
inherited
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toDouble() → double
Return the value of the floating point number in a Dart double type.
inherited
toString({bool integer = false}) → String
Return a string representation of FloatingPointValue.
inherited
ulp() → FloatingPointValue
Compute the unit in the last place for the given FloatingPointValue.
inherited
validate() → void
Validate the FloatingPointValue to ensure widths and other characteristics are legal.
inherited
withinRounding(FloatingPointValue other) → bool
Return true if the other FloatingPointValue is within a rounding error of this value.
inherited

Operators

operator *(FloatingPointValue multiplicand) → FloatingPointValue
Multiply operation for FloatingPointValue.
inherited
operator +(FloatingPointValue addend) → FloatingPointValue
Addition operation for FloatingPointValue.
inherited
operator -(FloatingPointValue subend) → FloatingPointValue
Subtract operation for FloatingPointValue.
inherited
operator /(FloatingPointValue divisor) → FloatingPointValue
Divide operation for FloatingPointValue.
inherited
operator ==(Object other) → bool
The equality operator.
inherited

Static Methods

populator() → FloatingPointValuePopulator<FloatingPoint64Value>
Creates a FloatingPointValuePopulator, which can then be used to complete construction using population functions.
override