Struct RevisionImpactProcessSummary

Source

pub struct RevisionImpactProcessSummary {Show 19 fields
    pub impact_version: u32,
    pub atoms: usize,
    pub queries: usize,
    pub combinations: usize,
    pub reusable_observations: usize,
    pub invalidated_observations: usize,
    pub minimal_invalidating_sets: usize,
    pub minimal_semantic_change_sets: usize,
    pub evidence_members: usize,
    pub certificate_bytes: usize,
    pub parsed_evidence_bytes: usize,
    pub semantic_replays: usize,
    pub component_validations: usize,
    pub composed_pair_checks: usize,
    pub final_transition_checks: usize,
    pub result_comparisons: usize,
    pub elapsed_micros: usize,
    pub transitions: Vec<RevisionImpactQueryTransition>,
    pub semantic_change_sets: Vec<RevisionImpactSemanticChangeSet>,
}

Expand description

Canonical summary returned by revision-impact production or verification.

Fields§

§impact_version: u32§atoms: usize§queries: usize§combinations: usize§reusable_observations: usize§invalidated_observations: usize§minimal_invalidating_sets: usize§minimal_semantic_change_sets: usize§evidence_members: usize§certificate_bytes: usize§parsed_evidence_bytes: usize§semantic_replays: usize§component_validations: usize§composed_pair_checks: usize§final_transition_checks: usize§result_comparisons: usize§elapsed_micros: usize§transitions: Vec<RevisionImpactQueryTransition>§semantic_change_sets: Vec<RevisionImpactSemanticChangeSet>

RevisionImpactProcessSummary

Struct RevisionImpactProcessSummary Copy item path

Fields§

Trait Implementations§

impl Clone for RevisionImpactProcessSummary

fn clone(&self) -> RevisionImpactProcessSummary

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

impl Debug for RevisionImpactProcessSummary

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

impl Eq for RevisionImpactProcessSummary

impl PartialEq for RevisionImpactProcessSummary

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

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

impl StructuralPartialEq for RevisionImpactProcessSummary

Auto Trait Implementations§

impl Freeze for RevisionImpactProcessSummary

impl RefUnwindSafe for RevisionImpactProcessSummary

impl Send for RevisionImpactProcessSummary

impl Sync for RevisionImpactProcessSummary

impl Unpin for RevisionImpactProcessSummary

impl UnsafeUnpin for RevisionImpactProcessSummary

impl UnwindSafe for RevisionImpactProcessSummary

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Referencewhere Reference: HasPart<Outer> + ?Sized, Outer: Part<PartType = Field<OuterFieldType>>, Inner: Part, OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,

unsafe fn part_ptr( ptr: *const <Reference as PartialRefTarget>::RawTarget, ) -> <<Inner as Part>::PartType as PartType>::Ptr

unsafe fn part_ptr_mut( ptr: *mut <Reference as PartialRefTarget>::RawTarget, ) -> <<Inner as Part>::PartType as PartType>::PtrMut

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct RevisionImpactProcessSummary

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Reference
where Reference: HasPart<Outer> + ?Sized, Outer: Part<PartType = Field<OuterFieldType>>, Inner: Part, OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,