Numeral class abstract

Inheritance
Implementers
Available Extensions

Properties

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

Methods

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

Operators

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