IrrationalNumeral class

Inheritance
Available Extensions

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 Sort
finalinherited

Methods

build(Context c) Z3_ast
inherited
equals(Numeral other) bool
inherited
evalPolySign(List<Numeral> vs) int
getCoefficients() List<Rat>
getLower([int precision = 15]) RatNumeral
getRoot() int
getUpper([int precision = 15]) RatNumeral
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.
override

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