oxilean_std/bitvec/
types.rs

1//! Auto-generated module
2//!
3//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
4use super::functions::*;
5
6/// Bit manipulation helper utilities.
7#[allow(dead_code)]
8pub struct BitManipulator {
9    mask: u64,
10    width: usize,
11}
12/// Fixed-width bitvector backed by a const generic width parameter.
13#[allow(dead_code)]
14pub struct BitVecFixed<const N: usize> {
15    pub data: u64,
16}
17/// SMT-LIB BitVec representation for solver integration.
18#[allow(dead_code)]
19pub struct BitVecSMT {
20    name: String,
21    width: usize,
22}
23/// Arithmetic utilities for bitvector operations.
24#[allow(dead_code)]
25pub struct BitVecArithmetic {
26    width: usize,
27    signed: bool,
28}
29/// Precomputed population count lookup table.
30#[allow(dead_code)]
31pub struct PopcountTable {
32    table: Vec<u8>,
33}
oxilean_std/bitvec/types.rs

oxilean_std/bitvec/
types.rs
