这一反自反性可以用来建立一个等价关系。

This irreflexivity can be used to set up an equivalence relation.

youdao

这个反自反性质可以用来建立一个等价关系(equivalence relation)—也就是，对于Keys a和b来说，如果comp(a,b)为false并且comp(b,a)也为false，那么我们就说a和b是等价的。

This irreflexivity can be used to set up an equivalence relation—that is, for Key s a and b , if comp(a, b) is false and comp(b, a) is false , then a and b must be equivalent.

youdao

提出了一种反流水技术，它能够将软件流水后的优化汇编代码反向转换成语义等价的相应代码。

In this paper we propose a de-pipelining algorithm which converts the optimized assembly code of a software-pipelined loop back to a semantically equivalent sequential counterpart.

youdao