Struct Parser

pub struct Parser;

Empty parser structure, we will not maintain any context.

Trait Implementations

impl Clone for Parser

fn clone(&self) -> Parser

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> IdentParser<String, String, &'a str> for Parser

fn parse_ident(self, input: &'a str) -> SmtRes<String>

Parses an identifier.

fn parse_type(self, input: &'a str) -> SmtRes<String>

Parses a type.

impl<'a> ModelParser<String, String, Cst, &'a str> for Parser

fn parse_value( self, input: &'a str, _: &String, _: &[(String, String)], _: &String, ) -> SmtRes<Cst>

Parses a value in the context of a get-model command.

impl Copy for Parser