Trait smt2parser::visitors::KeywordVisitor

pub trait KeywordVisitor {
    type T;
    type E;
    fn visit_keyword(&mut self, value: String) -> Result<Self::T, Self::E>;
}

Associated Types

type T

type E

Required methods

fn visit_keyword(&mut self, value: String) -> Result<Self::T, Self::E>

Implementors

impl KeywordVisitor for SyntaxBuilder

type T = Keyword

type E = Error

impl KeywordVisitor for Smt2Counters

type T = ()

type E = Error

impl<R, V> KeywordVisitor for R where
    R: Rewriter<V = V>,
    V: Smt2Visitor, 

type T = V::Keyword

type E = R::Error