AssertQubit operation

Namespace: Microsoft.Quantum.Diagnostics

Package: Microsoft.Quantum.QSharp.Foundation

Asserts that the qubit q is in the expected eigenstate of the Pauli Z operator.

operation AssertQubit (expected : Result, q : Qubit) : Unit is Adj + Ctl


expected : Result

Which state the qubit is expected to be in: Zero or One.

q : Qubit

The qubit whose state is asserted.

Output : Unit


AssertQubitIsInStateWithinTolerance operation allows for asserting arbitrary qubit states rather than only $Z$ eigenstates.

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

See Also