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

Plookups with selectors on the LHS.

Browse Source
This commit is contained in:
chriseth
2023-03-06 11:55:23 +01:00
parent 2cafdd876f
commit 0fef42e7f5
1 changed files with 17 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src/commit_evaluator/mod.rs
View File

@@ -310,7 +310,23 @@ where
}
fn process_plookup(&mut self, identity: &Identity) -> EvalResult {
if identity.left.selector.is_some() || identity.right.selector.is_some() {
if let Some(left_selector) = &identity.left.selector {
let value = self.evaluate(left_selector, EvaluationRow::Next)?;
match value.constant_value() {
Some(v) if v == 0.into() => {
return Ok(vec![]);
}
Some(v) if v == 1.into() => {}
_ => {
return Err(format!(
"Value of the selector on the left hand side unknown or not boolean: {}",
self.format_affine_expression(&value)
)
.into())
}
};
}
if identity.right.selector.is_some() {
return Err("Selectors not yet supported.".to_string().into());
}
let left = identity