IRewriteStep.PostconditionVerification(QsCompilation) Method

Reference

Definition

Namespace:: Microsoft.Quantum.QsCompiler

Assembly:: Microsoft.Quantum.QsCompiler.dll

Package:: Microsoft.Quantum.Compiler v0.25.218240

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Verifies whether a given compilation satisfies the postcondition after executing the implemented transformation (if any). ImplementsPostconditionVerification indicates whether or not this method is implemented. The verification may be omitted for performance reasons depending on the build configuration. The postcondition verification should never throw an exception, but instead indicate if the postcondition is satisfied via the returned value. More detailed information can be displayed to the user by generating suitable diagnostics.

public bool PostconditionVerification (Microsoft.Quantum.QsCompiler.SyntaxTree.QsCompilation compilation);

abstract member PostconditionVerification : Microsoft.Quantum.QsCompiler.SyntaxTree.QsCompilation -> bool

Public Function PostconditionVerification (compilation As QsCompilation) As Boolean

Parameters

compilation: QsCompilation

Q# compilation after performing the implemented transformation.

Returns

Boolean

Whether or not the given compilation satisfies the postcondition of the transformation.

Applies to