Expand description
Linear expressions over wires: x * a + y * b + z.
Structs§
- Sum
- A linear combination of wires, the left-hand side of a
LinearEquation. - Weighted
- A wire scaled by a constant:
weight · var.
Traits§
- Ring
- The arithmetic a value type needs to appear in a linear equation.