Trait decaf377::r1cs::CountConstraints

pub trait CountConstraints: ConstraintSynthesizer<Fq> + Sized {
    // Provided method
    fn num_constraints_and_instance_variables(self) -> (usize, usize) { ... }
}

Provided Methods

fn num_constraints_and_instance_variables(self) -> (usize, usize)

Object Safety

This trait is not object safe.

Implementors

impl<T> CountConstraints for T

where T: ConstraintSynthesizer<Fq> + Sized,