Enum smt2parser::visitors::AttributeValue [−][src]
pub enum AttributeValue<Constant = Constant, Symbol = Symbol, SExpr = SExpr> {
None,
Constant(Constant),
Symbol(Symbol),
SExpr(Vec<SExpr>),
}
Variants
SExpr(Vec<SExpr>)
Tuple Fields of SExpr
0: Vec<SExpr>
Trait Implementations
impl<'de, Constant, Symbol, SExpr> Deserialize<'de> for AttributeValue<Constant, Symbol, SExpr> where
Constant: Deserialize<'de>,
Symbol: Deserialize<'de>,
SExpr: Deserialize<'de>,
impl<'de, Constant, Symbol, SExpr> Deserialize<'de> for AttributeValue<Constant, Symbol, SExpr> where
Constant: Deserialize<'de>,
Symbol: Deserialize<'de>,
SExpr: Deserialize<'de>,
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
impl<Constant: PartialEq, Symbol: PartialEq, SExpr: PartialEq> PartialEq<AttributeValue<Constant, Symbol, SExpr>> for AttributeValue<Constant, Symbol, SExpr>
impl<Constant: PartialEq, Symbol: PartialEq, SExpr: PartialEq> PartialEq<AttributeValue<Constant, Symbol, SExpr>> for AttributeValue<Constant, Symbol, SExpr>
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl<Constant, Symbol, SExpr> RefUnwindSafe for AttributeValue<Constant, Symbol, SExpr> where
Constant: RefUnwindSafe,
SExpr: RefUnwindSafe,
Symbol: RefUnwindSafe,
impl<Constant, Symbol, SExpr> Send for AttributeValue<Constant, Symbol, SExpr> where
Constant: Send,
SExpr: Send,
Symbol: Send,
impl<Constant, Symbol, SExpr> Sync for AttributeValue<Constant, Symbol, SExpr> where
Constant: Sync,
SExpr: Sync,
Symbol: Sync,
impl<Constant, Symbol, SExpr> Unpin for AttributeValue<Constant, Symbol, SExpr> where
Constant: Unpin,
SExpr: Unpin,
Symbol: Unpin,
impl<Constant, Symbol, SExpr> UnwindSafe for AttributeValue<Constant, Symbol, SExpr> where
Constant: UnwindSafe,
SExpr: UnwindSafe,
Symbol: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more