Commit ba3f2269 authored by Topi Rasku's avatar Topi Rasku
Browse files

#87 Accounting for `unitCount` in the temporary fix.

parent 3b53f3f1
......@@ -303,6 +303,7 @@ q_maxDownward(gnu(grid, node, unit), msft(m, s, f, t))
+ [
+ p_gnu(grid, node, unit, 'unitSizeCons')
+ p_gnu(grid, node, unit, 'maxCons')${not p_gnu(grid, node, unit, 'unitSizeCons') > 0}
/ p_unit(unit, 'unitCount')
]
// !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
* [
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment