Struct Btor2ChannelPropertyProcessSummary

Source

pub struct Btor2ChannelPropertyProcessSummary {
    pub artifact_version: u32,
    pub channels: usize,
    pub logical_queries: usize,
    pub proof_members: usize,
    pub reused_queries: usize,
    pub explicit_members: usize,
    pub bitblast_members: usize,
    pub evidence_bytes: usize,
    pub artifact_bytes: usize,
    pub projected_work: Option<u64>,
    pub elapsed_micros: usize,
    pub results: Vec<Btor2ChannelPropertyProcessResult>,
}

Fields§

§artifact_version: u32§channels: usize§logical_queries: usize§proof_members: usize§reused_queries: usize§explicit_members: usize§bitblast_members: usize§evidence_bytes: usize§artifact_bytes: usize§projected_work: Option<u64>§elapsed_micros: usize§results: Vec<Btor2ChannelPropertyProcessResult>

Btor2ChannelPropertyProcessSummary

Struct Btor2ChannelPropertyProcessSummary Copy item path

Fields§

Trait Implementations§

impl Clone for Btor2ChannelPropertyProcessSummary

fn clone(&self) -> Btor2ChannelPropertyProcessSummary

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

impl Debug for Btor2ChannelPropertyProcessSummary

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

impl Eq for Btor2ChannelPropertyProcessSummary

impl PartialEq for Btor2ChannelPropertyProcessSummary

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

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

impl StructuralPartialEq for Btor2ChannelPropertyProcessSummary

Auto Trait Implementations§

impl Freeze for Btor2ChannelPropertyProcessSummary

impl RefUnwindSafe for Btor2ChannelPropertyProcessSummary

impl Send for Btor2ChannelPropertyProcessSummary

impl Sync for Btor2ChannelPropertyProcessSummary

impl Unpin for Btor2ChannelPropertyProcessSummary

impl UnsafeUnpin for Btor2ChannelPropertyProcessSummary

impl UnwindSafe for Btor2ChannelPropertyProcessSummary

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 Btor2ChannelPropertyProcessSummary

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