Skip to main content

count_constraint_degrees

zinc_uair::degree_counter

Function count_constraint_degrees 

Source 
pub fn count_constraint_degrees<U: Uair>() -> ConstraintDegreeCollector
Expand description

Compute the per-family degrees of each constraint in U.