IntNumeral class
- Inheritance
-
- Object
- AST
- Expr
- Numeral
- AlgebraicNumeral
- IntNumeral
- Available Extensions
Constructors
- IntNumeral(BigInt value)
-
factory
- IntNumeral.from(int value)
-
factory
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- isInf → bool
-
no setterinherited
- isNaN → bool
-
no setterinherited
- isNegative → bool
-
no setterinherited
- isNormal → bool
-
no setterinherited
- isPositive → bool
-
no setterinherited
- isSubnormal → bool
-
no setterinherited
- isZero → bool
-
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- sign → int
-
no setterinherited
- sort → IntSort
-
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
-
pow(
int k) → AlgebraicNumeral -
inherited
-
root(
int k) → AlgebraicNumeral -
inherited
-
sqrt(
) → AlgebraicNumeral -
inherited
-
toBigInt(
) → BigInt -
inherited
-
toDouble(
) → double -
inherited
-
toInt(
) → int -
inherited
-
toRat(
) → Rat -
override
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator *(
AlgebraicNumeral other) → AlgebraicNumeral -
inherited
-
operator +(
AlgebraicNumeral other) → AlgebraicNumeral -
inherited
-
operator -(
AlgebraicNumeral other) → AlgebraicNumeral -
inherited
-
operator /(
AlgebraicNumeral other) → AlgebraicNumeral -
inherited
-
operator <(
AlgebraicNumeral other) → bool -
inherited
-
operator <=(
AlgebraicNumeral other) → bool -
inherited
-
operator ==(
Object other) → bool -
The equality operator.
inherited
-
operator >(
AlgebraicNumeral other) → bool -
inherited
-
operator >=(
AlgebraicNumeral other) → bool -
inherited
Static Properties
- one → IntNumeral
-
no setter
- zero → IntNumeral
-
no setter