Enum ReverseMode 

pub enum ReverseMode {
    Observable,
    FullState,
    Adiabatic,
}

The reversibility fidelity ⇄ space ⇄ time point a recording run is asked to hit — the pebbling knob (vm/pebble.rs). The tape is only as large as the mode demands.

Variants

Observable

Restore the program-OBSERVABLE state (named variables, globals, output, iterators); compiler scratch is program-invisible, so its journal is elided. Smallest tape, fastest. The default.

FullState

Restore EVERY register bit-exactly by journaling all destroyed values. Largest tape, simplest.

Adiabatic

Restore every register bit-exactly at the LANDAUER FLOOR: recompute pure scratch on reverse (Bennett uncompute) instead of journaling it. Full fidelity, minimal tape, +recompute time — the adiabatic chip contract.

Trait Implementations

impl Clone for ReverseMode

fn clone(&self) -> ReverseMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReverseMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ReverseMode

fn default() -> ReverseMode

Returns the “default value” for a type.

impl PartialEq for ReverseMode

fn eq(&self, other: &ReverseMode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ReverseMode

impl Eq for ReverseMode

impl StructuralPartialEq for ReverseMode