Trait rsmt2::internals::SolverPrims

pub trait SolverPrims<'kid, Parser: ParseSmt2 + 'static>: SolverBasic<'kid, Parser> {
    fn parse<Out, F: Fn(&[u8], &Parser) -> (String, Res<Out>)>(&mut self,
                                                               parser: F)
                                                               -> Res<Out> { ... }
}

Primitive functions provided by a solver wrapper.

Provided Methods

fn parse<Out, F: Fn(&[u8], &Parser) -> (String, Res<Out>)>(&mut self,
                                                           parser: F)
                                                           -> Res<Out>

Fetchs data, applies a parser (passes the internal parser) and returns its result.

Implementors

• impl<'kid, Parser: ParseSmt2 + 'static> SolverPrims<'kid, Parser> for PlainSolver<'kid, Parser>
• impl<'kid, Parser: ParseSmt2 + 'static> SolverPrims<'kid, Parser> for TeeSolver<'kid, Parser>