Skip to main content

PrimSolver

prune_lang::interp::solver::common

Trait PrimSolver 

Source 
pub trait PrimSolver {
    // Required method
    fn check_sat(
        &mut self,
        prims: &[(Prim, Vec<AtomVal<IdentCtx>>)],
    ) -> Option<HashMap<IdentCtx, LitVal>>;
}

Required Methods§

Source

fn check_sat( &mut self, prims: &[(Prim, Vec<AtomVal<IdentCtx>>)], ) -> Option<HashMap<IdentCtx, LitVal>>

Implementors§