Function validate_controlsAndPauliStrSumTargets

quest/src/core/validation.cpp:3378–3387

}

void validate_controlsAndPauliStrSumTargets(Qureg qureg, int* ctrls, int numCtrls, PauliStrSum sum, const char* caller) {

    // validate targets and controls in isolation
    validate_pauliStrSumTargets(sum, qureg, caller);
    validate_controls(qureg, ctrls, numCtrls, caller);

    // validate that they do not overlap (i.e. sum has only I at ctrls, never X Y Z)
    qindex targetMask = paulis_getTargetBitMask(sum);
    assertThat(areQubitsDisjoint(targetMask, ctrls, numCtrls), report::PAULI_STR_SUM_OVERLAPS_CONTROLS, caller);
}

void validate_controlAndPauliStrSumTargets(Qureg qureg, int ctrl, PauliStrSum sum, const char* caller) {