FloatNumeral class

Inheritance
Available Extensions

Constructors

FloatNumeral.from(num value, FloatSort sort)
factory

Properties

hashCode int
The hash code for this object.
no setterinherited
isInf bool
no setteroverride
isNaN bool
no setteroverride
isNegative bool
final
isNormal bool
no setteroverride
isPositive bool
no setteroverride
isSubnormal bool
no setteroverride
isZero bool
no setteroverride
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
sign int
no setteroverride
significand BigInt?
latefinal
sort FloatSort
no setteroverride
value double
final

Methods

build(Context c) Z3_ast
inherited
equals(Numeral other) bool
inherited
getSignBv() BitVecNumeral
getSignificandBv() BitVecNumeral
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
notEquals(Numeral other) bool
inherited
toBigInt() BigInt
inherited
toDouble() double
override
toInt() int
inherited
toRat() → Rat
override
toString() String
A string representation of this object.
override

Operators

operator ==(Object other) bool
The equality operator.
inherited