Trait ContractEvaluator 

pub trait ContractEvaluator: Send + Sync {
    // Required method
    fn evaluate(&self, transition: &CandidateTransition) -> ContractWitness;
}

Evaluates the contract clause for a candidate transition.

Required Methods

fn evaluate(&self, transition: &CandidateTransition) -> ContractWitness

Implementors