Espacio de nombres Microsoft.Quantum.Diagnostics

Advertencia

Esta documentación hace referencia al QDK clásico, que se ha reemplazado por el QDK moderno.

https://aka.ms/qdk.api Consulte la documentación de la API para el QDK moderno.

Operaciones

Nombre Resumen
AllowAtMostNCallsCA Entre una llamada a esta operación y su adyacente, se afirma que se llama a una operación determinada como máximo un número determinado de veces.
AllowAtMostNQubits Entre una llamada a esta operación y su adyacente, afirma que, como máximo, un número determinado de cúbits adicionales se asignan con instrucciones using.
AssertAllZero Aserción de que los cúbits especificados están en estado $\ket{0}$.
AssertAllZeroWithinTolerance Aserción de que los cúbits especificados están en estado $\ket{0}$ hasta una tolerancia determinada.
AssertMeasurement Afirma que la medición de los cúbits especificados en la base de Pauli determinada siempre tendrá el resultado dado.
AssertMeasurementProbability Afirma que la medición de los cúbits especificados en la base de Pauli determinada tendrá el resultado dado con la probabilidad dada, dentro de alguna tolerancia.
AssertOperationsEqualInPlace Dadas dos operaciones, afirma que actúan de forma idéntica para todos los estados de entrada.
AssertOperationsEqualInPlaceCompBasis Comprueba si la operación givenU es igual a la operación expectedU en el tamaño de entrada especificado comprobando la acción de las operaciones solo en los vectores de la base computacional. Se trata de una condición necesaria, pero no suficiente, para la igualdad de dos unitaries.
AssertOperationsEqualReferenced Dadas dos operaciones, afirma que actúan de forma idéntica para todos los estados de entrada.
AssertPhase Afirma que la fase de un estado de superposición igual tiene el valor esperado.
AssertQubit Afirma que el cúbit q está en el estado propio esperado del operador Pauli Z.
AssertQubitIsInStateWithinTolerance Afirma que un cúbit en el estado esperado.
AssertQubitWithinTolerance Afirma que el cúbit q está en el estado propio esperado del operador Pauli Z hasta una tolerancia determinada.
DumpOperation Dada una operación, muestra los diagnósticos sobre la operación que pone a disposición el destino de ejecución actual.

Functions

Nombre Resumen
AllEqualityFactB Afirma que dos matrices de valores booleanos son iguales.
AllEqualityFactI Afirma que dos matrices de valores enteros son iguales.
Contradiction Comprueba si una condición clásica es falsa y produce una excepción si no es así.
DumpMachine Volca el estado de la máquina de destino actual.
DumpRegister Volca el estado de la máquina de destino actual asociada a los cúbits especificados.
EqualityFactB Afirma que una variable Bool clásica tiene el valor esperado.
EqualityFactC Afirma que un número complejo tiene el valor esperado.
EqualityFactCP Afirma que un número complejo tiene el valor esperado.
EqualityFactI Afirma que una variable Int clásica tiene el valor esperado.
EqualityFactL Afirma que una variable BigInt clásica tiene el valor esperado.
EqualityFactR Afirma que una variable Result clásica tiene el valor esperado.
EqualityWithinToleranceFact Representa la notificación de que un valor de punto flotante clásico tiene el valor esperado hasta una tolerancia absoluta determinada.
Fact Comprueba si una condición clásica es verdadera y produce una excepción si no es así.
FiniteFact Comprueba si un valor de punto flotante determinado representa un número finito y produce una excepción si no es así.
NearEqualityFactC Afirma que un número complejo clásico tiene el valor esperado hasta una tolerancia pequeña de 1e-10.
NearEqualityFactCP Afirma que un número complejo clásico tiene el valor esperado hasta una tolerancia pequeña de 1e-10.
NearEqualityFactD Afirma que un valor de punto flotante clásico tiene el valor esperado hasta una tolerancia pequeña de 1e-10.

Tipos definidos por el usuario

Nombre Resumen
EnableTestingViaName Atributo reconocido por el compilador a través del cual se puede definir un nombre alternativo que se puede usar al cargar un tipo o invocable con fines de prueba.
Prueba Atributo reconocido por el compilador usado para marcar una prueba unitaria.