Module degree_counter 

Structs

ConstraintDegreeCollector

Collects the degree of each constraint in a UAIR by implementing the ConstraintBuilder trait.

DegreeCountingSemiring

Functions

count_constraint_degrees

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

count_constraint_degrees_flattened

Compute the degree of each individual constraint in the UAIR U.

count_max_degree

Compute the maximum number of multiplicands in products of witness elements in the UAIR U.