Struct smt2parser::visitors::ConstructorDec [−][src]
Fields
symbol: Symbol
selectors: Vec<(Symbol, Sort)>
Trait Implementations
impl<'de, Symbol, Sort> Deserialize<'de> for ConstructorDec<Symbol, Sort> where
Symbol: Deserialize<'de>,
Sort: Deserialize<'de>,
impl<'de, Symbol, Sort> Deserialize<'de> for ConstructorDec<Symbol, Sort> where
Symbol: Deserialize<'de>,
Sort: 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<Symbol, Sort> Display for ConstructorDec<Symbol, Sort> where
Symbol: Display,
Sort: Display,
impl<Symbol, Sort> Display for ConstructorDec<Symbol, Sort> where
Symbol: Display,
Sort: Display,
impl<Symbol: PartialEq, Sort: PartialEq> PartialEq<ConstructorDec<Symbol, Sort>> for ConstructorDec<Symbol, Sort>
impl<Symbol: PartialEq, Sort: PartialEq> PartialEq<ConstructorDec<Symbol, Sort>> for ConstructorDec<Symbol, Sort>
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
impl<Symbol, Sort> Serialize for ConstructorDec<Symbol, Sort> where
Symbol: Serialize,
Sort: Serialize,
impl<Symbol, Sort> Serialize for ConstructorDec<Symbol, Sort> where
Symbol: Serialize,
Sort: Serialize,
Auto Trait Implementations
impl<Symbol, Sort> RefUnwindSafe for ConstructorDec<Symbol, Sort> where
Sort: RefUnwindSafe,
Symbol: RefUnwindSafe,
impl<Symbol, Sort> Send for ConstructorDec<Symbol, Sort> where
Sort: Send,
Symbol: Send,
impl<Symbol, Sort> Sync for ConstructorDec<Symbol, Sort> where
Sort: Sync,
Symbol: Sync,
impl<Symbol, Sort> Unpin for ConstructorDec<Symbol, Sort> where
Sort: Unpin,
Symbol: Unpin,
impl<Symbol, Sort> UnwindSafe for ConstructorDec<Symbol, Sort> where
Sort: UnwindSafe,
Symbol: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more