rsr.rsr.validate_ref_consistency

rsr.rsr.validate_ref_consistency(refs_states_upper, refs_states_lower, max_elems=16777216)

Raise if any lower reference state dominates an upper reference state.

Such a pair is contradictory: the lower state would certify failure while simultaneously dominating an upper state and so certifying survival.

Parameters:

• refs_states_upper (Tensor) – (n_upper, n_var) upper reference coordinates.

• refs_states_lower (Tensor) – (n_lower, n_var) lower reference coordinates.

• max_elems (int) – Soft cap on elements materialised at once.

Raises:

ValueError – If a dominating pair exists, naming the first one found.

Return type:

None