Espace de noms Microsoft.Quantum.Diagnostics

Avertissement

Cette documentation fait référence au QDK classique, qui a été remplacé par le QDK moderne.

https://aka.ms/qdk.api Consultez la documentation de l’API pour le QDK moderne.

Opérations

Nom Résumé
AllowAtMostNCallsCA Entre un appel à cette opération et son adjoint, affirme qu’une opération donnée est appelée au plus un certain nombre de fois.
AllowAtMostNQubits Entre un appel à cette opération et son adjoint, affirme qu’au plus un nombre donné de qubits supplémentaires sont alloués avec des instructions using.
AssertAllZero Affirmez que les qubits donnés sont tous à l’état $\ket{0}$.
AssertAllZeroWithinTolerance Affirmez que les qubits donnés sont tous à l’état $\ket{0}$ jusqu’à une tolérance donnée.
AssertMeasurement Affirme que la mesure des qubits donnés dans la base Pauli donnée aura toujours le résultat donné.
AssertMeasurementProbability Affirme que la mesure des qubits donnés dans la base de Pauli donnée aura le résultat donné avec la probabilité donnée, dans une certaine tolérance.
AssertOperationsEqualInPlace Avec deux opérations, affirme qu’elles agissent de manière identique pour tous les états d’entrée.
AssertOperationsEqualInPlaceCompBasis Vérifie si l’opération givenU est égale à l’opération expectedU sur la taille d’entrée donnée en vérifiant l’action des opérations uniquement sur les vecteurs à partir de la base de calcul. Il s’agit d’une condition nécessaire, mais pas suffisante, pour l’égalité de deux unités.
AssertOperationsEqualReferenced Avec deux opérations, affirme qu’elles agissent de manière identique pour tous les états d’entrée.
AssertPhase Affirme que la phase d’un état de superposition égal a la valeur attendue.
AssertQubit Affirme que le qubit q se trouve dans l’état propre attendu de l’opérateur Pauli Z.
AssertQubitIsInStateWithinTolerance Affirme qu’un qubit dans l’état attendu.
AssertQubitWithinTolerance Affirme que le qubit q se trouve dans l’état propre attendu de l’opérateur Pauli Z jusqu’à une tolérance donnée.
DumpOperation En fonction d’une opération, affiche diagnostics sur l’opération mise à disposition par la cible d’exécution actuelle.

Fonctions

Nom Résumé
AllEqualityFactB Affirme que deux tableaux de valeurs booléennes sont égaux.
AllEqualityFactI Affirme que deux tableaux de valeurs entières sont égaux.
Contradiction Vérifie si une condition classique est false et lève une exception si ce n’est pas le cas.
DumpMachine Vide l’status de l’ordinateur cible actuel.
DumpRegister Vide les status de l’ordinateur cible actuel associés aux qubits donnés.
EqualityFactB Affirme qu’une variable Bool classique a la valeur attendue.
EqualityFactC Affirme qu’un nombre complexe a la valeur attendue.
EqualityFactCP Affirme qu’un nombre complexe a la valeur attendue.
EqualityFactI Affirme qu’une variable Int classique a la valeur attendue.
EqualityFactL Affirme qu’une variable BigInt classique a la valeur attendue.
EqualityFactR Affirme qu’une variable de résultat classique a la valeur attendue.
EqualityWithinToleranceFact Représente l’affirmation selon laquelle une valeur à virgule flottante classique a la valeur attendue jusqu’à une tolérance absolue donnée.
Fact Vérifie si une condition classique est vraie et lève une exception si ce n’est pas le cas.
Finfact Vérifie si une valeur à virgule flottante donnée représente un nombre fini et lève une exception si ce n’est pas le cas.
NearEqualityFactC Affirme qu’un nombre complexe classique a la valeur attendue jusqu’à une petite tolérance de 1e-10.
NearEqualityFactCP Affirme qu’un nombre complexe classique a la valeur attendue jusqu’à une petite tolérance de 1e-10.
NearEqualityFactD Affirme qu’une valeur à virgule flottante classique a la valeur attendue jusqu’à une petite tolérance de 1e à 10.

Types définis par l'utilisateur

Nom Résumé
EnableTestingViaName Attribut reconnu par le compilateur via lequel un autre nom peut être défini qui peut être utilisé lors du chargement d’un type ou pouvant être appelé à des fins de test.
Test Attribut reconnu par le compilateur utilisé pour marquer un test unitaire.