Trait BarrierEvaluator 

pub trait BarrierEvaluator: Send + Sync {
    // Required method
    fn evaluate(
        &self,
        transition: &CandidateTransition,
    ) -> Result<BarrierWitness>;
}

Evaluates the barrier clause for a candidate transition.

Required Methods

fn evaluate(&self, transition: &CandidateTransition) -> Result<BarrierWitness>

Implementors