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