Fixed-width one-sample output matching -- definitions #
For a fixed expected label, append one final gate that accepts exactly when the complete fixed-width evaluator returns that label. The description code and sample input remain the circuit's incoming wire block.
def
Complexity.CircuitCode.FixedWidth.Description.EvaluationMatch.circuit
(inputWidth gateBound : ℕ)
(expected : Bool)
:
Complete fixed-width evaluation followed by equality with one fixed label.
Equations
- One or more equations did not get rendered due to their size.