BitVecSort class

Inheritance
Available Extensions

Constructors

BitVecSort(int size)

Properties

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

Methods

build(Context c) Z3_ast
inherited
buildSort(Context c) Z3_sort
override
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