BitVecSort class

Inheritance

• Object
• AST
• Decl
• Sort
• BitVecSort

Available extensions

• ASTExtension

Constructors

BitVecSort(int size)

Properties

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

size → int

final

Methods

build(Context c) → Z3_ast

inherited

buildSort(Context c) → Z3_sort

override

declare() → A

Available on A, provided by the ASTExtension extension

Declare this AST element in the current context if it hasn't already.

msb() → BitVecNumeral

A mask of the most significant bit i.e. 1 << (size - 1).

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

one() → BitVecNumeral

sMax() → BitVecNumeral

The largest signed value i.e. ~msb.

sMin() → BitVecNumeral

The smallest signed value i.e. msb.

toString() → String

A string representation of this object.

inherited

uMax() → BitVecNumeral

The largest unsigned value i.e. (1 << size) - 1.

zero() → BitVecNumeral

Operators

operator ==(Object other) → bool

The equality operator.

inherited