Struct ControllerProofMtbddResourceCapabilities

Source

pub struct ControllerProofMtbddResourceCapabilities {Show 13 fields
    pub cli_version: u32,
    pub policy_version: u32,
    pub envelope_version: u32,
    pub manifest_version: u32,
    pub artifact_version: u32,
    pub max_policy_bytes: usize,
    pub max_artifact_bytes: usize,
    pub max_equivalence_artifact_bytes: usize,
    pub max_unsat_proof_bytes: usize,
    pub max_members: usize,
    pub max_horizon: usize,
    pub max_product_states: usize,
    pub refusal_exit_code: i32,
}

Fields§

§cli_version: u32§policy_version: u32§envelope_version: u32§manifest_version: u32§artifact_version: u32§max_policy_bytes: usize§max_artifact_bytes: usize§max_equivalence_artifact_bytes: usize§max_unsat_proof_bytes: usize§max_members: usize§max_horizon: usize§max_product_states: usize§refusal_exit_code: i32

ControllerProofMtbddResourceCapabilities

Struct ControllerProofMtbddResourceCapabilities Copy item path

Fields§

Trait Implementations§

impl Clone for ControllerProofMtbddResourceCapabilities

fn clone(&self) -> ControllerProofMtbddResourceCapabilities

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

impl Debug for ControllerProofMtbddResourceCapabilities

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

impl Eq for ControllerProofMtbddResourceCapabilities

impl PartialEq for ControllerProofMtbddResourceCapabilities

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

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

impl StructuralPartialEq for ControllerProofMtbddResourceCapabilities

Auto Trait Implementations§

impl Freeze for ControllerProofMtbddResourceCapabilities

impl RefUnwindSafe for ControllerProofMtbddResourceCapabilities

impl Send for ControllerProofMtbddResourceCapabilities

impl Sync for ControllerProofMtbddResourceCapabilities

impl Unpin for ControllerProofMtbddResourceCapabilities

impl UnsafeUnpin for ControllerProofMtbddResourceCapabilities

impl UnwindSafe for ControllerProofMtbddResourceCapabilities

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 ControllerProofMtbddResourceCapabilities

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