Struct PredicateCapabilities

Source

pub struct PredicateCapabilities {
    pub cli_version: u32,
    pub certificate_versions: Vec<CertificateVersion>,
    pub portfolio_certificate_version: CertificateVersion,
    pub proof_format: String,
    pub min_relevant_inputs: usize,
    pub max_relevant_inputs: usize,
    pub max_latches: usize,
    pub max_horizon: usize,
    pub max_certificate_v2_bytes: u64,
    pub max_proof_bytes: usize,
    pub max_total_proof_bytes: usize,
}

Expand description

Machine-discovered limits and formats for a compatible executable.

Fields§

§cli_version: u32§certificate_versions: Vec<CertificateVersion>§portfolio_certificate_version: CertificateVersion§proof_format: String§min_relevant_inputs: usize§max_relevant_inputs: usize§max_latches: usize§max_horizon: usize§max_certificate_v2_bytes: u64§max_proof_bytes: usize§max_total_proof_bytes: usize

PredicateCapabilities

Struct PredicateCapabilities Copy item path

Fields§

Trait Implementations§

impl Clone for PredicateCapabilities

fn clone(&self) -> PredicateCapabilities

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

impl Debug for PredicateCapabilities

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

impl Eq for PredicateCapabilities

impl PartialEq for PredicateCapabilities

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

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

impl StructuralPartialEq for PredicateCapabilities

Auto Trait Implementations§

impl Freeze for PredicateCapabilities

impl RefUnwindSafe for PredicateCapabilities

impl Send for PredicateCapabilities

impl Sync for PredicateCapabilities

impl Unpin for PredicateCapabilities

impl UnsafeUnpin for PredicateCapabilities

impl UnwindSafe for PredicateCapabilities

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 PredicateCapabilities

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