Microsoft.Quantum.Diagnostics 네임스페이스
작업
Name | 요약 |
---|---|
AllowAtMostNCallsCA | 이 연산과 해당 인접에 대한 호출 사이에 는 지정된 작업이 최대 특정 횟수만큼 호출되는 것을 어설션합니다. |
AllowAtMostNQubits | 이 작업에 대한 호출과 해당 부호 사이에 는 using 문을 사용하여 지정된 수의 추가 큐비트가 할당되도록 어설션합니다. |
AssertAllZero | 지정된 큐비트가 모두 $\ket$ 상태임을 어설션{0}합니다. |
AssertAllZeroWithinTolerance | 지정된 큐비트가 모두 지정된 허용 오차까지 $\ket{0}$ 상태임을 어설션합니다. |
AssertMeasurement | 지정된 Pauli 기준으로 지정된 큐비트를 측정하면 항상 지정된 결과가 있다고 어설션합니다. |
AssertMeasurementProbability | 지정된 Pauli 기준으로 지정된 큐비트를 측정하면 특정 허용 오차 내에서 지정된 확률을 가진 결과가 있다고 어설션합니다. |
AssertOperationsEqualInPlace | 두 작업이 지정된 경우 는 모든 입력 상태에 대해 동일하게 작동한다고 어설션합니다. |
AssertOperationsEqualInPlaceCompBasis | 연산 givenU 이 계산 기준으로 벡터에서만 작업의 expectedU 동작을 확인하여 지정된 입력 크기의 작업과 같은지 확인합니다. 이는 두 유니티의 같음을 위한 필수 조건이지만 충분하지는 않습니다. |
AssertOperationsEqualReferenced | 두 작업이 지정된 경우 는 모든 입력 상태에 대해 동일하게 작동한다고 어설션합니다. |
AssertPhase | 같은 중첩 상태의 단계에 예상 값이 있다고 어설션합니다. |
AssertQubit | 큐비트가 q Pauli Z 연산자의 예상 고유 상태임을 어설션합니다. |
AssertQubitIsInStateWithinTolerance | 예상된 상태의 큐비트를 어설션합니다. |
AssertQubitWithinTolerance | 큐비트가 q 지정된 허용 오차까지 Pauli Z 연산자의 예상 고유 상태임을 어설션합니다. |
DumpOperation | 작업이 지정된 경우 현재 실행 대상에서 사용할 수 있는 작업에 대한 진단 표시합니다. |
Functions
Name | 요약 |
---|---|
AllEqualityFactB | 부울 값의 두 배열이 같은지 어설션합니다. |
AllEqualityFactI | 정수 값의 두 배열이 같은지 어설션합니다. |
Contradiction | 클래식 조건이 false인지 확인하고 그렇지 않으면 예외를 throw합니다. |
DumpMachine | 현재 대상 컴퓨터의 상태 덤프합니다. |
DumpRegister | 지정된 큐비트와 연결된 현재 대상 머신의 상태 덤프합니다. |
EqualityFactB | 클래식 Bool 변수에 예상 값이 있다고 어설션합니다. |
EqualityFactC | 복소수에 예상 값이 있다고 어설션합니다. |
EqualityFactCP | 복소수에 예상 값이 있다고 어설션합니다. |
EqualityFactI | 클래식 Int 변수에 예상 값이 있다고 어설션합니다. |
EqualityFactL | 클래식 BigInt 변수에 예상 값이 있다고 어설션합니다. |
EqualityFactR | 클래식 Result 변수에 예상 값이 있다고 어설션합니다. |
EqualityWithinToleranceFact | 클래식 부동 소수점 값에 지정된 절대 허용 오차까지 예상 값이 있다는 클레임을 나타냅니다. |
팩트 | 클래식 조건이 true인지 확인하고 그렇지 않은 경우 예외를 throw합니다. |
FiniteFact | 지정된 부동 소수점 값이 한정된 숫자를 나타내는지 확인하고 그렇지 않은 경우 예외를 throw합니다. |
NearEqualityFactC | 클래식 복소수의 예상 값이 1e-10의 작은 허용 오차까지 있다고 어설션합니다. |
NearEqualityFactCP | 클래식 복소수의 예상 값이 1e-10의 작은 허용 오차까지 있다고 어설션합니다. |
NearEqualityFactD | 클래식 부동 소수점 값의 예상 값이 1e-10의 작은 허용 오차까지 있다고 어설션합니다. |
사용자 정의 형식
Name | 요약 |
---|---|
EnableTestingViaName | 테스트 목적으로 형식 또는 호출 가능 형식을 로드할 때 사용할 수 있는 대체 이름을 정의할 수 있는 컴파일러 인식 특성입니다. |
테스트 | 단위 테스트를 표시하는 데 사용되는 컴파일러 인식 특성입니다. |