Trait rsmt2::parse::IdentParser [−][src]
Can parse identifiers and types. Used for get_model
.
For more information refer to the module-level documentation.
Required methods
fn parse_ident(self, i: Input) -> SmtRes<Ident>
[src]
Parses an identifier.
fn parse_type(self, i: Input) -> SmtRes<Type>
[src]
Parses a type.
Implementors
impl<'a> IdentParser<String, String, &'a str> for Parser
[src]
fn parse_ident(self, input: &'a str) -> SmtRes<String>
[src]
fn parse_type(self, input: &'a str) -> SmtRes<String>
[src]
impl<'a, Ident, Type, T> IdentParser<Ident, Type, &'a str> for T where
T: IdentParser<Ident, Type, &'a [u8]>,
[src]
T: IdentParser<Ident, Type, &'a [u8]>,
fn parse_ident(self, input: &'a str) -> SmtRes<Ident>
[src]
fn parse_type(self, input: &'a str) -> SmtRes<Type>
[src]
impl<'a, Ident, Type, T, Br> IdentParser<Ident, Type, &'a mut SmtParser<Br>> for T where
T: IdentParser<Ident, Type, &'a str>,
Br: BufRead,
[src]
T: IdentParser<Ident, Type, &'a str>,
Br: BufRead,