Struct ControlledDelta 

pub struct ControlledDelta {
    pub id: String,
    pub class: ControlledDeltaClass,
    pub changed_facts: BTreeSet<FactId>,
    pub revision_delta: u64,
    pub carried_state: bool,
}

One controlled input delta. It predicts work but never executes proof.

Fields

id: String

Stable assay row (D1 through D6).

class: ControlledDeltaClass

Semantic class under test.

changed_facts: BTreeSet<FactId>

Exact changed semantic facts; empty for semantic no-ops.

revision_delta: u64

Maximum journal revision movement produced by normalization.

carried_state: bool

Whether the prediction emitted carried execution state.

Implementations

impl ControlledDelta

pub fn new( id: impl Into<String>, class: ControlledDeltaClass, changed_facts: impl IntoIterator<Item = FactId>, revision_delta: u64, carried_state: bool, ) -> Result<Self, AssayError>

Constructs a checked controlled delta.

Trait Implementations

impl Clone for ControlledDelta

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControlledDelta

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

Formats the value using the given formatter.

impl Eq for ControlledDelta

impl PartialEq for ControlledDelta

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ControlledDelta