FloatSort class

Inheritance
Implementers
Available Extensions

Constructors

FloatSort(int ebits, int sbits)
factory

Properties

ebias int
latefinal
ebits int
final
hashCode int
The hash code for this object.
no setterinherited
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
sbits int
final

Methods

build(Context c) Z3_ast
inherited
buildSort(Context c) Z3_sort
override
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() String
A string representation of this object.
override

Operators

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