Trait rsmt2::internals::SolverPrims
[−]
[src]
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>
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>