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.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl IntegralMemoryLayout for DynamicTasmConstraintEvaluationMemoryLayout

impl IntegralMemoryLayout for StaticTasmConstraintEvaluationMemoryLayout