Struct ValueInterner 

pub struct ValueInterner { /* private fields */ }

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

Implementations

impl ValueInterner

pub fn new() -> Self

pub fn is_zero<I: Borrow<BitVecValueIndex>>(index: I) -> bool

pub fn is_one<I: Borrow<BitVecValueIndex>>(index: I) -> bool

pub fn get_index<'a>( &mut self, value: impl Into<BitVecValueRef<'a>>, ) -> BitVecValueIndex

pub fn words(&self) -> &[Word]

Trait Implementations

impl Clone for ValueInterner

fn clone(&self) -> ValueInterner

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValueInterner

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ValueInterner

fn default() -> Self

Returns the “default value” for a type.