Enum CellClass 

pub enum CellClass {
    ChargeRecovery,
    AncillaWrite,
    EffectLog,
    ControlTrace,
}

The physical cell a Silicon-ISA instruction maps to — the structured (machine-checkable) form of the rev_tag annotation, one per RevClass. This is the datapath’s adiabatic contract: ChargeRecovery cells recycle their charge (zero erased bits); AncillaWrite cells write a Bennett history bit (the only genuine erased-bit source); the rest carry no erased data.

Variants

ChargeRecovery

A Bijection op — a reversible (adiabatic charge-recovery) functional unit, ZERO erased bits.

AncillaWrite

A Journaled op — a Bennett history (ancilla) cell; the only cell that can erase information.

EffectLog

An Effectful op — an effect-log cell (or, for network, a named irreversibility barrier).

ControlTrace

A Control op — reverses on the recorded trace; no datapath cell, no erased data.

Trait Implementations

impl Clone for CellClass

fn clone(&self) -> CellClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CellClass

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

Formats the value using the given formatter.

impl PartialEq for CellClass

fn eq(&self, other: &CellClass) -> 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 CellClass

impl Eq for CellClass

impl StructuralPartialEq for CellClass