Struct ControllerSplitResourceSetSummary

Source

pub struct ControllerSplitResourceSetSummary {Show 15 fields
    pub controller_admissions: usize,
    pub members: usize,
    pub safe: usize,
    pub unsafe_count: usize,
    pub reachable_product_states: usize,
    pub explored_transitions: usize,
    pub controller_evidence_bytes: usize,
    pub controller_mtbdd_bytes: usize,
    pub equivalence_artifact_bytes: usize,
    pub unsat_proof_bytes: usize,
    pub total_plant_artifact_bytes: usize,
    pub total_transition_evaluation_bound: usize,
    pub admission_micros: usize,
    pub elapsed_micros: usize,
    pub batches: Vec<ControllerSplitResourceBatchSummary>,
}

Fields§

§controller_admissions: usize§members: usize§safe: usize§unsafe_count: usize§reachable_product_states: usize§explored_transitions: usize§controller_evidence_bytes: usize§controller_mtbdd_bytes: usize§equivalence_artifact_bytes: usize§unsat_proof_bytes: usize§total_plant_artifact_bytes: usize§total_transition_evaluation_bound: usize§admission_micros: usize§elapsed_micros: usize§batches: Vec<ControllerSplitResourceBatchSummary>

ControllerSplitResourceSetSummary

Struct ControllerSplitResourceSetSummary Copy item path

Fields§

Trait Implementations§

impl Clone for ControllerSplitResourceSetSummary

fn clone(&self) -> ControllerSplitResourceSetSummary

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

impl Debug for ControllerSplitResourceSetSummary

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

impl Eq for ControllerSplitResourceSetSummary

impl PartialEq for ControllerSplitResourceSetSummary

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

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

impl StructuralPartialEq for ControllerSplitResourceSetSummary

Auto Trait Implementations§

impl Freeze for ControllerSplitResourceSetSummary

impl RefUnwindSafe for ControllerSplitResourceSetSummary

impl Send for ControllerSplitResourceSetSummary

impl Sync for ControllerSplitResourceSetSummary

impl Unpin for ControllerSplitResourceSetSummary

impl UnsafeUnpin for ControllerSplitResourceSetSummary

impl UnwindSafe for ControllerSplitResourceSetSummary

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 ControllerSplitResourceSetSummary

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>,