Struct rsmt2::examples::simple::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 copy 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