Operazione AssertMeasurement
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.
Spazio dei nomi: Microsoft.Quantum.Diagnostics
Pacchetto: Microsoft.Quantum.QSharp.Foundation
Afferma che la misurazione dei qubit specificati nella base di Pauli avrà sempre il risultato specificato.
operation AssertMeasurement (bases : Pauli[], qubits : Qubit[], result : Result, msg : String) : Unit is Adj + Ctl
Input
base : Pauli[]
Effetto di misura per affermare la probabilità di, espressa come operatore Pauli multi-qubit.
qubits : Qubit[]
Registro su cui eseguire l'asserzione.
result : Risultato
Risultato previsto di Measure(bases, qubits).
msg : Stringa
Messaggio da segnalare se l'asserzione ha esito negativo.
Output : unità
Esempio
Il frammento di codice seguente verrà eseguito senza errori nel simulatore di stato completo:
use q = Qubit();
within {
H(q);
} apply {
AssertMeasurement([PauliX], [q], Zero, "Expected |+⟩ state.");
}
Commenti
Si noti che le versioni adiacenti e controllate di questa operazione non controllano la condizione.