(table: DictTable)
| 3094 | // anchors are considered leaf tables to simplify the view |
| 3095 | |
| 3096 | let isLeafTable = (table: DictTable) => { |
| 3097 | let children = tables.filter(t => t.derive?.trigger.tableId == table.id); |
| 3098 | if (children.length == 0 || children.every(t => t.anchored)) { |
| 3099 | return true; |
| 3100 | } |
| 3101 | return false; |
| 3102 | } |
| 3103 | let leafTables = [ ...tables.filter(t => isLeafTable(t)) ]; |
| 3104 | |
| 3105 | // Stable viewport estimate for split decisions. We measure the OUTER |