Struct smtlib_lowlevel::ast::Logic
source · pub struct Logic(pub Symbol, pub Vec<LogicAttribute>);
Expand description
(logic <symbol> <logic_attribute>+)
Tuple Fields§
§0: Symbol
§1: Vec<LogicAttribute>
Implementations§
Trait Implementations§
source§impl<'de> Deserialize<'de> for Logic
impl<'de> Deserialize<'de> for Logic
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 PartialEq for Logic
impl PartialEq for Logic
impl Eq for Logic
impl StructuralPartialEq for Logic
Auto Trait Implementations§
impl Freeze for Logic
impl RefUnwindSafe for Logic
impl Send for Logic
impl Sync for Logic
impl Unpin for Logic
impl UnwindSafe for Logic
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