Struct smt2parser::visitors::DatatypeDec [−][src]
pub struct DatatypeDec<Symbol = Symbol, Sort = Sort> {
pub parameters: Vec<Symbol>,
pub constructors: Vec<ConstructorDec<Symbol, Sort>>,
}
Fields
parameters: Vec<Symbol>
constructors: Vec<ConstructorDec<Symbol, Sort>>
Trait Implementations
impl<'de, Symbol, Sort> Deserialize<'de> for DatatypeDec<Symbol, Sort> where
Symbol: Deserialize<'de>,
Sort: Deserialize<'de>,
impl<'de, Symbol, Sort> Deserialize<'de> for DatatypeDec<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: PartialEq, Sort: PartialEq> PartialEq<DatatypeDec<Symbol, Sort>> for DatatypeDec<Symbol, Sort>
impl<Symbol: PartialEq, Sort: PartialEq> PartialEq<DatatypeDec<Symbol, Sort>> for DatatypeDec<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 DatatypeDec<Symbol, Sort> where
Symbol: Serialize,
Sort: Serialize,
impl<Symbol, Sort> Serialize for DatatypeDec<Symbol, Sort> where
Symbol: Serialize,
Sort: Serialize,
Auto Trait Implementations
impl<Symbol, Sort> RefUnwindSafe for DatatypeDec<Symbol, Sort> where
Sort: RefUnwindSafe,
Symbol: RefUnwindSafe,
impl<Symbol, Sort> Send for DatatypeDec<Symbol, Sort> where
Sort: Send,
Symbol: Send,
impl<Symbol, Sort> Sync for DatatypeDec<Symbol, Sort> where
Sort: Sync,
Symbol: Sync,
impl<Symbol, Sort> Unpin for DatatypeDec<Symbol, Sort> where
Sort: Unpin,
Symbol: Unpin,
impl<Symbol, Sort> UnwindSafe for DatatypeDec<Symbol, Sort> where
Sort: UnwindSafe,
Symbol: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more