Trait rsmt2::parse::IdentParser [−][src]
pub trait IdentParser<Ident, Type, Input>: Copy {
fn parse_ident(self, i: Input) -> SmtRes<Ident>;
fn parse_type(self, i: Input) -> SmtRes<Type>;
}
Expand description
Can parse identifiers and types. Used for Solver::get_model
.
For more information refer to the module-level documentation.
Required methods
fn parse_ident(self, i: Input) -> SmtRes<Ident>
fn parse_ident(self, i: Input) -> SmtRes<Ident>
Parses an identifier.
fn parse_type(self, i: Input) -> SmtRes<Type>
fn parse_type(self, i: Input) -> SmtRes<Type>
Parses a type.