Trait rsmt2::parse::SymParser

pub trait SymParser<Sym, Input>: Copy {
    fn parse_sym(self, i: Input) -> SmtRes<Sym>;
}

Can parse symbols.

Required methods

fn parse_sym(self, i: Input) -> SmtRes<Sym>

Parses a symbol.

Implementations on Foreign Types

impl<'a, Br> SymParser<&'a str, &'a mut SmtParser<Br>> for () where
    Br: BufRead, 

fn parse_sym(self, input: &'a mut SmtParser<Br>) -> SmtRes<&'a str>

impl<'a, Br> SymParser<String, &'a mut SmtParser<Br>> for () where
    Br: BufRead, 

fn parse_sym(self, input: &'a mut SmtParser<Br>) -> SmtRes<String>

Implementors

impl<'a, Sym, T> SymParser<Sym, &'a str> for T where
    T: SymParser<Sym, &'a [u8]>, 

impl<'a, Sym, T, Br> SymParser<Sym, &'a mut SmtParser<Br>> for T where
    T: SymParser<Sym, &'a str>,
    Br: BufRead,