EqualityFact1C function

Warning

This documentation refers to the Classic QDK, which has been replaced by the Modern QDK.

Please see https://aka.ms/qdk.api for the API documentation for the Modern QDK.

Namespace: Microsoft.Quantum.Synthesis

Package: Microsoft.Quantum.Standard

Requires that a single-qubit Clifford operator has the expected value.

function EqualityFact1C (actual : Microsoft.Quantum.Synthesis.SingleQubitClifford, expected : Microsoft.Quantum.Synthesis.SingleQubitClifford, message : String) : Unit

Input

actual : SingleQubitClifford

The value to be checked.

expected : SingleQubitClifford

The expected value.

message : String

Failure message string to be used when actual is not equal to expected.

Output : Unit