Struct ReverseModuleObligation 

pub struct ReverseModuleObligation {
    pub name: String,
    pub bits: u32,
    pub reverse: Vec<usize>,
    pub sva_property: String,
}

A discharged reverse-module obligation: the constructive reverse gate plus the SVA property that pins the reverse-module identity, produced only when every attempted method AGREED that U is reversible.

Fields

name: String

bits: u32

reverse: Vec<usize>

The reverse module R as a truth table — the constructive inverse with R ∘ U = id.

sva_property: String

The SVA property text asserting R(U(x)) == x over every input.

Trait Implementations

impl Clone for ReverseModuleObligation

fn clone(&self) -> ReverseModuleObligation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReverseModuleObligation

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

Formats the value using the given formatter.