Struct ControllerSplitResourceBatchSummary

Source

pub struct ControllerSplitResourceBatchSummary {
    pub index: usize,
    pub members: usize,
    pub maximum_member_horizon: usize,
    pub maximum_product_states: usize,
    pub transition_evaluation_bound: usize,
    pub safe: usize,
    pub unsafe_count: usize,
    pub reachable_product_states: usize,
    pub explored_transitions: usize,
    pub artifact_bytes: usize,
    pub verification_micros: usize,
}

Fields§

§index: usize§members: usize§maximum_member_horizon: usize§maximum_product_states: usize§transition_evaluation_bound: usize§safe: usize§unsafe_count: usize§reachable_product_states: usize§explored_transitions: usize§artifact_bytes: usize§verification_micros: usize

ControllerSplitResourceBatchSummary

Struct ControllerSplitResourceBatchSummary Copy item path

Fields§

Trait Implementations§

impl Clone for ControllerSplitResourceBatchSummary

fn clone(&self) -> ControllerSplitResourceBatchSummary

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

impl Debug for ControllerSplitResourceBatchSummary

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

impl Eq for ControllerSplitResourceBatchSummary

impl PartialEq for ControllerSplitResourceBatchSummary

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

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

impl StructuralPartialEq for ControllerSplitResourceBatchSummary

Auto Trait Implementations§

impl Freeze for ControllerSplitResourceBatchSummary

impl RefUnwindSafe for ControllerSplitResourceBatchSummary

impl Send for ControllerSplitResourceBatchSummary

impl Sync for ControllerSplitResourceBatchSummary

impl Unpin for ControllerSplitResourceBatchSummary

impl UnsafeUnpin for ControllerSplitResourceBatchSummary

impl UnwindSafe for ControllerSplitResourceBatchSummary

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 ControllerSplitResourceBatchSummary

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