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