AssertAllZero operation

Namespace: Microsoft.Quantum.Diagnostics

Package: Microsoft.Quantum.QSharp.Foundation

Assert that given qubits are all in $\ket{0}$ state.

operation AssertAllZero (qubits : Qubit[]) : Unit is Adj + Ctl

Input

qubits : Qubit[]

Qubits that are asserted to be in $\ket{0}$ state.

Output : Unit

Remarks

Note that the Adjoint and Controlled versions of this operation will not check the condition.

See Also