Enum smt2parser::concrete::SExpr [−][src]
pub enum SExpr<Constant = Constant, Symbol = Symbol, Keyword = Keyword> {
Constant(Constant),
Symbol(Symbol),
Keyword(Keyword),
Application(Vec<Self>),
}
Expand description
Concrete syntax for an S-expression.
Variants
Application(Vec<Self>)
Tuple Fields of Application
0: Vec<Self>
Implementations
pub fn accept<V, T, C, S, K, E>(self, visitor: &mut V) -> Result<T, E> where
V: SExprVisitor<C, S, K, T = T, E = E> + ConstantVisitor<T = C, E = E> + SymbolVisitor<T = S, E = E> + KeywordVisitor<T = K, E = E>,
pub fn accept<V, T, C, S, K, E>(self, visitor: &mut V) -> Result<T, E> where
V: SExprVisitor<C, S, K, T = T, E = E> + ConstantVisitor<T = C, E = E> + SymbolVisitor<T = S, E = E> + KeywordVisitor<T = K, E = E>,
Visit a concrete S-expression.
Trait Implementations
impl<'de, Constant, Symbol, Keyword> Deserialize<'de> for SExpr<Constant, Symbol, Keyword> where
Constant: Deserialize<'de>,
Symbol: Deserialize<'de>,
Keyword: Deserialize<'de>,
impl<'de, Constant, Symbol, Keyword> Deserialize<'de> for SExpr<Constant, Symbol, Keyword> where
Constant: Deserialize<'de>,
Symbol: Deserialize<'de>,
Keyword: 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
Auto Trait Implementations
impl<Constant, Symbol, Keyword> RefUnwindSafe for SExpr<Constant, Symbol, Keyword> where
Constant: RefUnwindSafe,
Keyword: RefUnwindSafe,
Symbol: RefUnwindSafe,
impl<Constant, Symbol, Keyword> Send for SExpr<Constant, Symbol, Keyword> where
Constant: Send,
Keyword: Send,
Symbol: Send,
impl<Constant, Symbol, Keyword> Sync for SExpr<Constant, Symbol, Keyword> where
Constant: Sync,
Keyword: Sync,
Symbol: Sync,
impl<Constant, Symbol, Keyword> Unpin for SExpr<Constant, Symbol, Keyword> where
Constant: Unpin,
Keyword: Unpin,
Symbol: Unpin,
impl<Constant, Symbol, Keyword> UnwindSafe for SExpr<Constant, Symbol, Keyword> where
Constant: UnwindSafe,
Keyword: UnwindSafe,
Symbol: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more