rodrigo/genieacs
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix synthesized expressions being non-minimal

Browse Source
This commit is contained in:
Zaid Abdulla committed 2021-09-20 12:41:09 -07:00
1 parent ceec3f2cc8
commit f63e357b29
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
lib/common/boolean-expression.ts
+1 -1
View File
@@ -1110,8 +1110,8 @@ function getCanRaiseCallback(
const vars = context.getIsNullRelations(i); const vars = context.getIsNullRelations(i);
if (!context.isIsNull(i)) { if (!context.isIsNull(i)) {
if (!(idx & 1)) return true; if (!(idx & 1)) return true;
if (!set.has(idx ^ 3)) return true;
for (const n of vars) if (set.has((n << 2) ^ 3)) return true; for (const n of vars) if (set.has((n << 2) ^ 3)) return true;
if (set.has(idx ^ 3)) return false;
for (const n of vars) if (!set.has((n << 2) ^ 2)) return false; for (const n of vars) if (!set.has((n << 2) ^ 2)) return false;
return true; return true;
} }