Trait ergotree_interpreter::eval::Evaluator

pub trait Evaluator {
    fn reduce_to_crypto(
        &self, 
        expr: &Expr, 
        env: &Env, 
        ctx: Rc<Context>
    ) -> Result<ReductionResult, EvalError> { ... }
}

Interpreter

Provided methods

fn reduce_to_crypto(
    &self,
    expr: &Expr,
    env: &Env,
    ctx: Rc<Context>
) -> Result<ReductionResult, EvalError>

Evaluate the given expression by reducing it to SigmaBoolean value.

Loading content...

Implementors

impl Evaluator for TestProver

impl Evaluator for TestVerifier

Loading content...