Spazio dei nomi Microsoft.Quantum.Diagnostics

Avviso

Questa documentazione fa riferimento alla QDK classica, sostituita dalla QDK moderna.

Per la documentazione dell'API per modern QDK, vedere https://aka.ms/qdk.api la documentazione dell'API.

Gestione operativa

Nome	Riepilogo
AllowAtMostNCallsCA	Tra una chiamata a questa operazione e la relativa adiacente, afferma che una determinata operazione viene chiamata al massimo un certo numero di volte.
AllowAtMostNQubits	Tra una chiamata a questa operazione e la relativa adiacente, afferma che al massimo un determinato numero di qubit aggiuntivi vengono allocati con istruzioni using.
AssertAllZero	Affermare che i qubit specificati sono tutti in stato $\ket{0}$.
AssertAllZeroWithinTolerance	Affermare che i qubit specificati sono tutti in stato $\ket{0}$ fino a una determinata tolleranza.
AssertMeasurement	Afferma che la misurazione dei qubit specificati nella base di Pauli avrà sempre il risultato specificato.
AssertMeasurementProbability	Afferma che la misurazione dei qubit specificati nella base di Pauli avrà il risultato specificato con la probabilità specificata, all'interno di una tolleranza.
AssertOperationsEqualInPlace	Dato due operazioni, afferma che agiscono in modo identico per tutti gli stati di input.
AssertOperationsEqualInPlaceCompBasis	Verifica se l'operazione è uguale all'operazione givenUexpectedU sulla dimensione di input specificata controllando l'azione delle operazioni solo sui vettori dalla base di calcolo. Si tratta di una condizione necessaria, ma non sufficiente, per l'uguaglianza di due unitari.
AssertOperationsEqualReferenced	Dato due operazioni, afferma che agiscono in modo identico per tutti gli stati di input.
AssertPhase	Afferma che la fase di uno stato di sovrapposizione uguale ha il valore previsto.
AssertQubit	Afferma che il qubit q si trova nell'eigenstate previsto dell'operatore Pauli Z.
AssertQubitIsInStateWithinTolerance	Afferma che un qubit nello stato previsto.
AssertQubitWithinTolerance	Afferma che il qubit q si trova nell'eigenstate previsto dell'operatore Pauli Z fino a una determinata tolleranza.
DumpOperation	Dato un'operazione, visualizza la diagnostica sull'operazione resa disponibile dalla destinazione di esecuzione corrente.

Funzioni

Nome	Riepilogo
AllEqualityFactB	Afferma che due matrici di valori booleani sono uguali.
AllEqualityFactI	Afferma che due matrici di valori integer sono uguali.
Contradiction	Verifica se una condizione classica è false e genera un'eccezione se non è.
DumpMachine	Esegue il dump dello stato del computer di destinazione corrente.
DumpRegister	Esegue il dump dello stato del computer di destinazione corrente associato ai qubit specificati.
EqualityFactB	Afferma che una variabile Bool classica ha il valore previsto.
EqualityFactC	Afferma che un numero complesso ha il valore previsto.
EqualityFactCP	Afferma che un numero complesso ha il valore previsto.
EqualityFactI	Afferma che una variabile Int classica ha il valore previsto.
EqualityFactL	Afferma che una variabile BigInt classica ha il valore previsto.
EqualityFactR	Afferma che una variabile Result classica ha il valore previsto.
EqualityWithinToleranceFact	Rappresenta l'attestazione che un valore a virgola mobile classica ha il valore previsto fino a una determinata tolleranza assoluta.
Fact	Verifica se una condizione classica è true e genera un'eccezione se non è.
FiniteFact	Verifica se un determinato valore a virgola mobile rappresenta un numero finito e genera un'eccezione se non è il caso.
NearEqualityFactC	Afferma che un numero complesso classico ha il valore previsto fino a una tolleranza ridotta pari a 1e-10.
NearEqualityFactCP	Afferma che un numero complesso classico ha il valore previsto fino a una tolleranza ridotta pari a 1e-10.
NearEqualityFactD	Afferma che un valore a virgola mobile classica ha il valore previsto fino a una tolleranza ridotta pari a 1e-10.

Tipi definiti dall'utente

Nome	Riepilogo
EnableTestingViaName	Attributo riconosciuto dal compilatore tramite il quale è possibile definire un nome alternativo che può essere usato durante il caricamento di un tipo o una chiamata a scopo di test.
Test	Attributo riconosciuto dal compilatore usato per contrassegnare un unit test.