Contradiction function

  • Article

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.Diagnostics

Package: Microsoft.Quantum.QSharp.Foundation

Checks whether a classical condition is false, and throws an exception if it is not.

function Contradiction (actual : Bool, message : String) : Unit

Input

actual : Bool

The condition to be checked.

message : String

Failure message string to be used as an error message if the classical condition is true.

Output : Unit

Example

The following Q# code will print "Hello, world":

Contradiction(2 == 3, "2 is not equal to 3.");
Message("Hello, world.");

See Also