Float128Sort class

Inheritance

• Object
• AST
• Decl
• Sort
• FloatSort
• Float128Sort

Available Extensions

• ASTExtension

Constructors

Float128Sort()

Properties

ebias → int

late, final, inherited

ebits → int

final, inherited

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

sbits → int

final, inherited

Methods

build(Context c) → Z3_ast

inherited

buildSort(Context c) → Z3_sort

inherited

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