Struct smtlib_lowlevel::ast::GetAssignmentResponse
source · pub struct GetAssignmentResponse(pub Vec<TValuationPair>);
Expand description
(<t_valuation_pair>*)
Tuple Fields§
§0: Vec<TValuationPair>
Implementations§
Trait Implementations§
source§impl Clone for GetAssignmentResponse
impl Clone for GetAssignmentResponse
source§fn clone(&self) -> GetAssignmentResponse
fn clone(&self) -> GetAssignmentResponse
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 GetAssignmentResponse
impl Debug for GetAssignmentResponse
source§impl<'de> Deserialize<'de> for GetAssignmentResponse
impl<'de> Deserialize<'de> for GetAssignmentResponse
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 GetAssignmentResponse
impl Display for GetAssignmentResponse
source§impl Hash for GetAssignmentResponse
impl Hash for GetAssignmentResponse
source§impl PartialEq for GetAssignmentResponse
impl PartialEq for GetAssignmentResponse
source§fn eq(&self, other: &GetAssignmentResponse) -> bool
fn eq(&self, other: &GetAssignmentResponse) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for GetAssignmentResponse
impl Serialize for GetAssignmentResponse
impl Eq for GetAssignmentResponse
impl StructuralPartialEq for GetAssignmentResponse
Auto Trait Implementations§
impl Freeze for GetAssignmentResponse
impl RefUnwindSafe for GetAssignmentResponse
impl Send for GetAssignmentResponse
impl Sync for GetAssignmentResponse
impl Unpin for GetAssignmentResponse
impl UnwindSafe for GetAssignmentResponse
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