Trait IntegralMemoryLayout

pub trait IntegralMemoryLayout {
    // Required method
    fn memory_regions(&self) -> Box<[MemoryRegion]>;

    // Provided method
    fn is_integral(&self) -> bool { ... }
}

Required Methods

fn memory_regions(&self) -> Box<[MemoryRegion]>

Provided Methods

fn is_integral(&self) -> bool

Determine if the memory layout’s constraints are met, i.e., whether the various pointers point to large enough regions of memory.

Implementors

impl IntegralMemoryLayout for DynamicTasmConstraintEvaluationMemoryLayout

impl IntegralMemoryLayout for StaticTasmConstraintEvaluationMemoryLayout