github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

Evaluate on next if no next ref.

Browse Source
This commit is contained in:
chriseth
2023-02-27 20:28:30 +01:00
parent 5db079fd7d
commit 9016f9c64d
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/commit_evaluator/mod.rs
View File

@@ -128,8 +128,11 @@ where
for identity in &self.analyzed.identities {
if identity.kind == IdentityKind::Polynomial {
let expr = identity.left.selector.as_ref().unwrap();
// If there is no "next" reference in the expression,
// we just evaluate it directly on the "next" row.
let on_next = !self.contains_next_ref(expr);
if let Some((id, value)) =
self.evaluate(expr, false).and_then(|expr| expr.solve())
self.evaluate(expr, on_next).and_then(|expr| expr.solve())
{
self.next[id] = Some(value);
progress = true;