Skip to main content
Module constraint_counter
zinc_
uair
0.1.0
Module constraint_
counter
Module Items
Structs
Functions
In crate zinc_
uair
zinc_uair
Module
constraint_
counter
Copy item path
Source
Structs
§
Constraint
Count
Per-family breakdown of constraint counts. Returned by [
count_constraints_split
].
Functions
§
count_
constraints
Get the per-family constraint counts in a
Uair
.