[][src]Module bv::adapter

Lazy bit vector adapters.

This module defines adapters for dealing with bit vectors and other types that implement Bits. It also defines the adaptors that are returned by methods of the extension trait BitsExt.

Structs

BitAnd

The result of BitsExt::bit_and.

BitConcat

The result of BitsExt::bit_concat.

BitFill

Emulates a constant-valued bit-vector of a given size.

BitNot

The result of BitsExt::bit_not.

BitOr

The result of BitsExt::bit_or.

BitSliceAdapter

An adapter that turns any implementation of Bits into a slice.

BitXor

The result of BitsExt::bit_xor.

BitZip

The result of BitsExt::bit_zip.

BoolAdapter

Adapts a sequence of bools (e.g., &[bool]) to emulate a bit vector.