Struct MemoryInitCols 

#[repr(C)]
pub struct MemoryInitCols<T: Copy> {

    pub clk_high: T,
    pub clk_low: T,
    pub index: T,
    pub prev_addr: [T; 3],
    pub addr: [T; 3],
    pub lt_cols: LtOperationUnsigned<T>,
    pub value: Word<T>,
    pub value_lower: T,
    pub value_upper: T,
    pub is_real: T,
    pub is_comp: T,
    pub prev_valid: T,
    pub is_prev_addr_zero: IsZeroOperation<T>,
    pub is_index_zero: IsZeroOperation<T>,
}

Fields

clk_high: T

The top bits of the timestamp of the memory access.

clk_low: T

The low bits of the timestamp of the memory access.

index: T

The index of the memory access.

prev_addr: [T; 3]

The address of the previous memory access.

addr: [T; 3]

The address of the memory access.

lt_cols: LtOperationUnsigned<T>

Comparison assertions for address to be strictly increasing.

value: Word<T>

The value of the memory access.

value_lower: T

Lower half of third limb of the value

value_upper: T

Upper half of third limb of the value

is_real: T

Whether the memory access is a real access.

is_comp: T

Whether or not we are making the assertion prev_addr < addr.

prev_valid: T

The validity of previous state. The unique invalid state is when the chip only initializes address 0 once.

is_prev_addr_zero: IsZeroOperation<T>

A witness to assert whether or not prev_addr is zero.

is_index_zero: IsZeroOperation<T>

A witness to assert whether or not the index is zero.

Trait Implementations

impl<T: Copy> Borrow<MemoryInitCols<T>> for [T]

fn borrow(&self) -> &MemoryInitCols<T>

Immutably borrows from an owned value.

impl<T: Copy> BorrowMut<MemoryInitCols<T>> for [T]

fn borrow_mut(&mut self) -> &mut MemoryInitCols<T>

Mutably borrows from an owned value.

impl<T: Clone + Copy> Clone for MemoryInitCols<T>

fn clone(&self) -> MemoryInitCols<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Copy> StructReflectionHelper for MemoryInitCols<T>

fn struct_reflection() -> Option<Vec<String>>

impl<T: Copy + Copy> Copy for MemoryInitCols<T>