Struct Btor2ChannelPropertyProcessResult

Source

pub struct Btor2ChannelPropertyProcessResult {
    pub index: usize,
    pub query_id: u32,
    pub channel: usize,
    pub property: Btor2ChannelPropertyKind,
    pub horizon: u32,
    pub answer: Btor2ChannelPropertyAnswer,
    pub bad_frame: Option<u32>,
    pub backend: Btor2ChannelPropertyProcessBackend,
    pub solver: Btor2ChannelPropertyProcessSolver,
    pub representative_channel: usize,
    pub witness_valuations: usize,
}

Fields§

§index: usize§query_id: u32§channel: usize§property: Btor2ChannelPropertyKind§horizon: u32§answer: Btor2ChannelPropertyAnswer§bad_frame: Option<u32>§backend: Btor2ChannelPropertyProcessBackend§solver: Btor2ChannelPropertyProcessSolver§representative_channel: usize§witness_valuations: usize

Btor2ChannelPropertyProcessResult

Struct Btor2ChannelPropertyProcessResult Copy item path

Fields§

Trait Implementations§

impl Clone for Btor2ChannelPropertyProcessResult

fn clone(&self) -> Btor2ChannelPropertyProcessResult

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

impl Debug for Btor2ChannelPropertyProcessResult

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

impl Eq for Btor2ChannelPropertyProcessResult

impl PartialEq for Btor2ChannelPropertyProcessResult

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

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

impl StructuralPartialEq for Btor2ChannelPropertyProcessResult

Auto Trait Implementations§

impl Freeze for Btor2ChannelPropertyProcessResult

impl RefUnwindSafe for Btor2ChannelPropertyProcessResult

impl Send for Btor2ChannelPropertyProcessResult

impl Sync for Btor2ChannelPropertyProcessResult

impl Unpin for Btor2ChannelPropertyProcessResult

impl UnsafeUnpin for Btor2ChannelPropertyProcessResult

impl UnwindSafe for Btor2ChannelPropertyProcessResult

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 Btor2ChannelPropertyProcessResult

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