Namespace Microsoft.Quantum.Diagnostics
Aviso
Esta documentação refere-se ao QDK Clássico, que foi substituído pelo QDK Moderno.
https://aka.ms/qdk.api Consulte a documentação da API para o QDK Moderno.
Operations
Nome | Resumo |
---|---|
AllowAtMostNCallsCA | Entre uma chamada para essa operação e seu adjacente, afirma que uma determinada operação é chamada no máximo um determinado número de vezes. |
AllowAtMostNQubits | Entre uma chamada para essa operação e seu adjacente, afirma que, no máximo, um determinado número de qubits adicionais são alocados com instruções using. |
AssertAllZero | Afirme que os qubits determinados estão todos no estado $\ket{0}$. |
AssertAllZeroWithinTolerance | Afirme que os qubits determinados estão todos no estado $\ket{0}$ até uma determinada tolerância. |
AssertMeasurement | Afirma que medir os qubits determinados na base Pauli fornecida sempre terá o resultado determinado. |
AssertMeasurementProbability | Afirma que medir os qubits determinados na base Pauli determinada terá o resultado fornecido com a probabilidade determinada, dentro de alguma tolerância. |
AssertOperationsEqualInPlace | Dadas duas operações, afirma que elas agem de forma idêntica para todos os estados de entrada. |
AssertOperationsEqualInPlaceCompBasis | Verifica se a operação givenU é igual à operação expectedU no tamanho de entrada especificado verificando a ação das operações somente nos vetores da base computacional. Essa é uma condição necessária, mas não suficiente, para a igualdade de dois unitários. |
AssertOperationsEqualReferenced | Dadas duas operações, afirma que elas agem de forma idêntica para todos os estados de entrada. |
AssertPhase | Afirma que a fase de um estado de superposição igual tem o valor esperado. |
AssertQubit | Afirma que o qubit q está no eigenstate esperado do operador Pauli Z. |
AssertQubitIsInStateWithinTolerance | Declara que um qubit no estado esperado. |
AssertQubitWithinTolerance | Afirma que o qubit q está no eigenstate esperado do operador Pauli Z até uma determinada tolerância. |
DumpOperation | Dada uma operação, exibe diagnóstico sobre a operação que são disponibilizadas pelo destino de execução atual. |
Funções
Nome | Resumo |
---|---|
AllEqualityFactB | Afirma que duas matrizes de valores boolianos são iguais. |
AllEqualityFactI | Afirma que duas matrizes de valores inteiros são iguais. |
Contradição | Verifica se uma condição clássica é falsa e gera uma exceção se não for. |
DumpMachine | Despeja o status do computador de destino atual. |
DumpRegister | Despeja o status do computador de destino atual associado aos qubits fornecidos. |
EqualityFactB | Afirma que uma variável Bool clássica tem o valor esperado. |
EqualityFactC | Afirma que um número complexo tem o valor esperado. |
EqualityFactCP | Afirma que um número complexo tem o valor esperado. |
EqualityFactI | Afirma que uma variável Int clássica tem o valor esperado. |
EqualityFactL | Afirma que uma variável bigint clássica tem o valor esperado. |
EqualityFactR | Afirma que uma variável result clássica tem o valor esperado. |
EqualityWithinToleranceFact | Representa a declaração de que um valor de ponto flutuante clássico tem o valor esperado até uma determinada tolerância absoluta. |
Fato | Verifica se uma condição clássica é verdadeira e gera uma exceção se não for. |
FiniteFact | Verifica se um determinado valor de ponto flutuante representa um número finito e gera uma exceção se esse não for o caso. |
NearEqualityFactC | Afirma que um número complexo clássico tem o valor esperado até uma pequena tolerância de 1e-10. |
NearEqualityFactCP | Afirma que um número complexo clássico tem o valor esperado até uma pequena tolerância de 1e-10. |
NearEqualityFactD | Afirma que um valor de ponto flutuante clássico tem o valor esperado até uma tolerância pequena de 1e-10. |
Tipos definidos pelo usuário
Nome | Resumo |
---|---|
EnableTestingViaName | Atributo reconhecido pelo compilador por meio do qual um nome alternativo pode ser definido que pode ser usado ao carregar um tipo ou chamável para fins de teste. |
Teste | Atributo reconhecido pelo compilador usado para marcar um teste de unidade. |