Struct smtlib_lowlevel::ast::GetAssertionsResponse
source · pub struct GetAssertionsResponse(pub Vec<Term>);
Expand description
(<term>*)
Tuple Fields§
§0: Vec<Term>
Implementations§
Trait Implementations§
source§impl Clone for GetAssertionsResponse
impl Clone for GetAssertionsResponse
source§fn clone(&self) -> GetAssertionsResponse
fn clone(&self) -> GetAssertionsResponse
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for GetAssertionsResponse
impl Debug for GetAssertionsResponse
source§impl<'de> Deserialize<'de> for GetAssertionsResponse
impl<'de> Deserialize<'de> for GetAssertionsResponse
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Display for GetAssertionsResponse
impl Display for GetAssertionsResponse
source§impl Hash for GetAssertionsResponse
impl Hash for GetAssertionsResponse
source§impl PartialEq for GetAssertionsResponse
impl PartialEq for GetAssertionsResponse
source§fn eq(&self, other: &GetAssertionsResponse) -> bool
fn eq(&self, other: &GetAssertionsResponse) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for GetAssertionsResponse
impl Serialize for GetAssertionsResponse
impl Eq for GetAssertionsResponse
impl StructuralPartialEq for GetAssertionsResponse
Auto Trait Implementations§
impl Freeze for GetAssertionsResponse
impl RefUnwindSafe for GetAssertionsResponse
impl Send for GetAssertionsResponse
impl Sync for GetAssertionsResponse
impl Unpin for GetAssertionsResponse
impl UnwindSafe for GetAssertionsResponse
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more