Trait smt2::syntax::Parsable

pub trait Parsable: Sized {
    fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Self>>
    where
        L: Iterator<Item = Result<Located<Token>>>;
}

Required methods

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Self>> where
    L: Iterator<Item = Result<Located<Token>>>, 

Parse from a lexer. Separators are handled depending on the flavor parameter.

Loading content...

Implementors

impl Parsable for AttributeValue

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<AttributeValue>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Command

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Command>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Index

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Index>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for SExpr

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<SExpr>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Term

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Term>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Attribute

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Attribute>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Binding

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Binding>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for ConstructorDeclaration

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<ConstructorDeclaration>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for DataTypeDeclaration

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<DataTypeDeclaration>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Ident

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Ident>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Keyword

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Keyword>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for SelectorDeclaration

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<SelectorDeclaration>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Sort

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Sort>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for SortDeclaration

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<SortDeclaration>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for SortedVar

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<SortedVar>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Symbol

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Symbol>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Declaration

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Declaration>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Definition

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Definition>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for Model

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<Model>> where
    L: Iterator<Item = Result<Located<Token>>>, 

impl Parsable for CheckSat

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<CheckSat>> where
    L: Iterator<Item = Result<Located<Token>>>, 

Loading content...