Enum smtlib_lowlevel::ast::InfoResponse
source · pub enum InfoResponse {
AssertionStackLevels(Numeral),
Authors(String),
ErrorBehavior(ErrorBehavior),
Name(String),
ReasonUnknown(ReasonUnknown),
Version(String),
Attribute(Attribute),
}
Variants§
AssertionStackLevels(Numeral)
:assertion-stack-levels <numeral>
Authors(String)
:authors <string>
ErrorBehavior(ErrorBehavior)
:error-behavior <error-behavior>
Name(String)
:name <string>
ReasonUnknown(ReasonUnknown)
:reason-unknown <reason-unknown>
Version(String)
:version <string>
Attribute(Attribute)
<attribute>
Implementations§
Trait Implementations§
source§impl Clone for InfoResponse
impl Clone for InfoResponse
source§fn clone(&self) -> InfoResponse
fn clone(&self) -> InfoResponse
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 InfoResponse
impl Debug for InfoResponse
source§impl<'de> Deserialize<'de> for InfoResponse
impl<'de> Deserialize<'de> for InfoResponse
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 InfoResponse
impl Display for InfoResponse
source§impl Hash for InfoResponse
impl Hash for InfoResponse
source§impl PartialEq for InfoResponse
impl PartialEq for InfoResponse
source§fn eq(&self, other: &InfoResponse) -> bool
fn eq(&self, other: &InfoResponse) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for InfoResponse
impl Serialize for InfoResponse
impl Eq for InfoResponse
impl StructuralPartialEq for InfoResponse
Auto Trait Implementations§
impl Freeze for InfoResponse
impl RefUnwindSafe for InfoResponse
impl Send for InfoResponse
impl Sync for InfoResponse
impl Unpin for InfoResponse
impl UnwindSafe for InfoResponse
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