Enum smtlib_lowlevel::ast::GeneralResponse
source · pub enum GeneralResponse {
Success,
SpecificSuccessResponse(SpecificSuccessResponse),
Unsupported,
Error(String),
}
Variants§
Success
success
SpecificSuccessResponse(SpecificSuccessResponse)
<specific_success_response>
Unsupported
unsupported
Error(String)
(error <string>)
Implementations§
Trait Implementations§
source§impl Clone for GeneralResponse
impl Clone for GeneralResponse
source§fn clone(&self) -> GeneralResponse
fn clone(&self) -> GeneralResponse
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 GeneralResponse
impl Debug for GeneralResponse
source§impl<'de> Deserialize<'de> for GeneralResponse
impl<'de> Deserialize<'de> for GeneralResponse
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 GeneralResponse
impl Display for GeneralResponse
source§impl Hash for GeneralResponse
impl Hash for GeneralResponse
source§impl PartialEq for GeneralResponse
impl PartialEq for GeneralResponse
source§fn eq(&self, other: &GeneralResponse) -> bool
fn eq(&self, other: &GeneralResponse) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for GeneralResponse
impl Serialize for GeneralResponse
impl Eq for GeneralResponse
impl StructuralPartialEq for GeneralResponse
Auto Trait Implementations§
impl Freeze for GeneralResponse
impl RefUnwindSafe for GeneralResponse
impl Send for GeneralResponse
impl Sync for GeneralResponse
impl Unpin for GeneralResponse
impl UnwindSafe for GeneralResponse
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