IRewriteStep.PreconditionVerification(QsCompilation) Method
Definition
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 precondition for executing this rewrite step. ImplementsPreconditionVerification indicates whether or not this method is implemented. If the precondition verification succeeds, then the invocation of an implemented transformation (if any) with the given compilation should complete without throwing an exception. The precondition verification should never throw an exception, but instead indicate if the precondition is satisfied via the returned value. More detailed information can be provided via logging.
public bool PreconditionVerification (Microsoft.Quantum.QsCompiler.SyntaxTree.QsCompilation compilation);abstract member PreconditionVerification : Microsoft.Quantum.QsCompiler.SyntaxTree.QsCompilation -> boolPublic Function PreconditionVerification (compilation As QsCompilation) As BooleanParameters
- compilation
- QsCompilation
Q# compilation for which to verify the precondition.
Returns
Whether or not the given compilation satisfies the precondition.