That is to say, assuming the class invariant was satisfied before the routine was called, the routine must ensure that class invariant is again going to be satisfied on exit.

也就是说，假设类不变式在该例程调用前被满足了，那么例程退出时必须再次确保类不变式得到满足。

youdao

This requirement is hardly satisfied in full under the accuracy restriction of the scanning system. Consequently a kind of artifact called double shadow exhibits itself in reconstruction images.

受扫描系统精度的限制，这一要求难以得到充分的满足，从而引起重构图像出现重影伪像。

youdao

This requirement is hardly satisfied in full under the accuracy restriction of the scanning system. Consequently a kind of artifact called double shadow exhibits itself in reconstruction images.

受扫描系统精度的限制，这一要求难以得到充分的满足，从而引起重构图像出现重影伪像。

youdao