File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -25,12 +25,12 @@ pub(crate) trait VariableTrait {
25
25
///
26
26
/// 1. A tuple is added to `self.to_add`, but is not yet visible externally.
27
27
/// 2. Newly added tuples are then promoted to `self.recent` for one iteration.
28
- /// 3. After one iteration, recent tuples are moved to `self.tuples ` for posterity.
28
+ /// 3. After one iteration, recent tuples are moved to `self.stable ` for posterity.
29
29
///
30
- /// Each time `self.changed()` is called, the `recent` relation is folded into `tuples `,
31
- /// and the `to_add` relations are merged, potentially deduplicated against `tuples `, and
30
+ /// Each time `self.changed()` is called, the `recent` relation is folded into `stable `,
31
+ /// and the `to_add` relations are merged, potentially deduplicated against `stable `, and
32
32
/// then made `recent`. This way, across calls to `changed()` all added tuples are in
33
- /// `recent` at least once and eventually all are in `tuples `.
33
+ /// `recent` at least once and eventually all are in `stable `.
34
34
///
35
35
/// A `Variable` may optionally be instructed not to de-duplicate its tuples, for reasons
36
36
/// of performance. Such a variable cannot be relied on to terminate iterative computation,
You can’t perform that action at this time.
0 commit comments