Crate baa 

Structs

ArrayValue

Owned Array Container.

BitVecValue

Owned bit-vector value. Note: Ord does not necessarily order by value.

BitVecValueIndex

Index of a bit-vector value in a shared value store.

BitVecValueMutRef

BitVecValueRef

Bit-vector value that does not own its storage.

ParseIntError

SparseArrayValue

ValueInterner

Ensures that each bit vector value gets a unique index. And each combination of value and width will get a unique BitVecValueIndex

Enums

Value

Wraps either an array or a bit vector value.

Constants

BYTES_IN_DOUBLE_WORD

BYTES_IN_WORD

Traits

ArrayMutOps

Operations implemented by mutable array values with a dense representation.

ArrayOps

Operations implemented by read-only array values with a dense representation.

BitVecMutOps

Operations over mutable bit-vector values.

BitVecOps

Operations over immutable bit-vector values.

IndexToMutRef

Implemented by value stores to convert indices into mutable value references.

IndexToRef

Implemented by a value stores to convert indices into value references.

Functions

mask

Type Aliases

DoubleWord

WidthInt

This type restricts the maximum width that a bit-vector type is allowed to have.

Word

Word size for values.