prev和prevs之间的差异？

Question

这两者之间的区别是什么：

t.prev
t.prevs

订购了t: Time和Time：

open util/ordering[Time]

Answer 1

t.prev会在排序中返回t的直接前导。

t.prevs返回排序中t之前的所有元素的集合。

作为示例，请考虑以下排序T0 < T1 < T2 < T3，然后：

T2.prev= T1

T2.prevs= {T0,T1}