Trait DeviceWorkspace 

pub trait DeviceWorkspace {
    // Required method
    fn reset_for_entry(&mut self);
}

Caller-owned solver workspace lifecycle.

A device workspace is owned by the caller, passed by unique &mut, and safe to discard or immediately reuse after any solver outcome (poison-free reuse, RFC 005 §7). The lifecycle core is a single logical initialization step.

Required Methods

fn reset_for_entry(&mut self)

Logically initialize the workspace for a fresh solve entry.

Overwrite-on-use: this must not require zeroing the whole buffer unless a specific field must be initialized for correctness.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors