BitVecNumeral class

Inheritance
Available Extensions

Constructors

BitVecNumeral(BigInt value, BitVecSort sort)
factory
BitVecNumeral.from(int value, {int size = 64})
factory

Properties

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

Methods

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

Operators

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